LEADER 04320nam 22005775 450 001 996466062503316 005 20200705153224.0 010 $a3-540-48141-9 024 7 $a10.1007/BFb0019396 035 $a(CKB)1000000000234050 035 $a(SSID)ssj0000321521 035 $a(PQKBManifestationID)11257589 035 $a(PQKBTitleCode)TC0000321521 035 $a(PQKBWorkID)10280349 035 $a(PQKB)10136290 035 $a(DE-He213)978-3-540-48141-6 035 $a(PPN)155220861 035 $a(EXLCZ)991000000000234050 100 $a20121227d1993 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAutomated and Algorithmic Debugging$b[electronic resource] $eFirst International Workshop, AADEBUG '93, Linköping, Sweden, May 3-5, 1993. Proceedings /$fedited by Peter A. Fritzson 205 $a1st ed. 1993. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1993. 215 $a1 online resource (VIII, 367 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v749 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-57417-4 327 $aA 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 Gödel -- 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. 330 $aDebugging has always been a costly part of software development, and many attempts have been made to provide automatic computer support for this task.Automated debugging has seen major develoments over the last decade. Onesuccessful development is algorithmic debugging, which originated in logic programming but was later generalized to concurrent, imperative, and lazy functional languages. Important advances have also been made in knowledge-based program debugging, and in approaches to automated debugging based on static and dynamic program slicing based on dataflow and dependence analysis technology. This is the first collected volume of papers on automated debugging and presents latest developments, tutorial papers, and surveys. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v749 606 $aComputer engineering 606 $aSoftware engineering 606 $aComputer Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I27000 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 615 0$aComputer engineering. 615 0$aSoftware engineering. 615 14$aComputer Engineering. 615 24$aSoftware Engineering. 615 24$aSoftware Engineering/Programming and Operating Systems. 676 $a005.1/4 702 $aFritzson$b Peter A$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational Workshop on Automated and Algorithmic Debugging 906 $aBOOK 912 $a996466062503316 996 $aAutomated and Algorithmic Debugging$92831240 997 $aUNISA