skip to content
Automated and algorithmic debugging : first international workshop, AADEBUG '93, Linköping, Sweden, May 3-5, 1993 ; proceedings Preview this item
ClosePreview this item
Checking...

Automated and algorithmic debugging : first international workshop, AADEBUG '93, Linköping, Sweden, May 3-5, 1993 ; proceedings

Author: Peter A Fritzson
Publisher: Berlin u.a. : Springer, 1993.
Series: Lecture notes in computer science, 749.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:

Debugging has always been a costly part of softwaredevelopment, and many attempts have been made to provideautomatic computer support for this task.Automateddebugging has seen major develoments  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Kongreß
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Peter A Fritzson
ISBN: 0387574174 9780387574172 3540574174 9783540574170
OCLC Number: 873608601
Description: 367 Seiten : Illustrationen.
Contents: A pragmatic survey of automated debugging.- Usability criteria for automated debugging systems.- The notions of symptom and error in declarative diagnosis of logic programs.- Debugging by diagnosing assumptions.- Debugging logic programs using specifications.- Model-based diagnosis meets error diagnosis in logic programs.- Towards declarative debugging of concurrent constraint programs.- Hierarchy in testing distributed programs.- Lazy algorithmic debugging: Ideas for practical implementation.- The location of errors in functional programs.- A generalised query minimisation for program debugging.- What's in a trace: The box model revisited.- Declarative debugging of abstract data types in Goedel.- Slicing programs with arbitrary control-flow.- Slicing concurrent programs.- Animators for generated programming environments.- Visualization as debugging: Understanding/debugging the Warren Abstract Machine.- Graphical user interfaces for algorithmic debugging.- Towards a plan calculus based intelligent debugging system.- Trace-based debugging.- Identifying faulty modifications in software maintenance.- The application of formal specifications to software documentation and debugging.- Automatic diagnosis of VLSI digital circuits using algorithmic debugging.
Series Title: Lecture notes in computer science, 749.
Responsibility: Peter A. Fritzson (ed.).

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/873608601> # Automated and algorithmic debugging : first international workshop, AADEBUG '93, Linköping, Sweden, May 3-5, 1993 ; proceedings
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
    library:oclcnum "873608601" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/303991250#Place/berlin_u_a> ; # Berlin u.a.
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/303991250#Topic/computer_science> ; # Computer science
    schema:about <http://experiment.worldcat.org/entity/work/data/303991250#Topic/debugging> ; # Debugging
    schema:about <http://dewey.info/class/005.14/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/303991250#Topic/automation> ; # Automation
    schema:about <http://experiment.worldcat.org/entity/work/data/303991250#Topic/software_engineering> ; # Software engineering
    schema:bookFormat schema:EBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/303991250#Person/fritzson_peter_a> ; # Peter A. Fritzson
    schema:contributor <http://experiment.worldcat.org/entity/work/data/303991250#Meeting/aadebug_1_1993_linkoping> ; # AADEBUG 1 1993 Linköping
    schema:datePublished "1993" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/303991250> ;
    schema:genre "Conference publication"@en ;
    schema:genre "Kongreß" ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/303991250#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:name "Automated and algorithmic debugging : first international workshop, AADEBUG '93, Linköping, Sweden, May 3-5, 1993 ; proceedings" ;
    schema:productID "873608601" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/873608601#PublicationEvent/berlin_u_a_springer_1993> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/303991250#Agent/springer> ; # Springer
    schema:url <https://doi.org/10.1007/BFb0019396> ;
    schema:url <http://swbplus.bsz-bw.de/bsz322906261cov.htm> ;
    schema:url <http://dx.doi.org/10.1007/BFb0019396> ;
    schema:workExample <http://dx.doi.org/10.1007/BFb0019396> ;
    schema:workExample <http://worldcat.org/isbn/9780387574172> ;
    schema:workExample <http://worldcat.org/isbn/9783540574170> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/873608601> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/303991250#Person/fritzson_peter_a> # Peter A. Fritzson
    a schema:Person ;
    schema:familyName "Fritzson" ;
    schema:givenName "Peter A." ;
    schema:name "Peter A. Fritzson" ;
    schema:sameAs <http://d-nb.info/gnd/113561849> ;
    .

<http://experiment.worldcat.org/entity/work/data/303991250#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/873608601> ; # Automated and algorithmic debugging : first international workshop, AADEBUG '93, Linköping, Sweden, May 3-5, 1993 ; proceedings
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/303991250#Topic/computer_science> # Computer science
    a schema:Intangible ;
    schema:name "Computer science" ;
    .

<http://experiment.worldcat.org/entity/work/data/303991250#Topic/software_engineering> # Software engineering
    a schema:Intangible ;
    schema:name "Software engineering" ;
    .

<http://worldcat.org/isbn/9780387574172>
    a schema:ProductModel ;
    schema:isbn "0387574174" ;
    schema:isbn "9780387574172" ;
    .

<http://worldcat.org/isbn/9783540574170>
    a schema:ProductModel ;
    schema:isbn "3540574174" ;
    schema:isbn "9783540574170" ;
    .

<http://www.worldcat.org/title/-/oclc/873608601>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/873608601> ; # Automated and algorithmic debugging : first international workshop, AADEBUG '93, Linköping, Sweden, May 3-5, 1993 ; proceedings
    schema:dateModified "2018-09-06" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.