Live briefing
Everything about Algorithmic program debugging
Algorithmic debugging is a debugging technique that compares the results of sub-computations with what the programmer intended. The technique constructs an internal representation of all computations and sub-computations performed during the execution of a buggy program and then asks the programmer about the correctness of such computations. By asking the programmer questions or using a formal specification, the system can identify precisely where in a program a bug is located. Debugging techniques can dramatically reduce the time and effort spent on debugging. Wikipedia →
🧭 Start here: a 6-step reading path
- Read the overview: Algorithmic program debuggingA 5-minute orientation
- Skim a recent paper: Experimental Debugging of the Program Code of the Transmission Fault Recorder AlgorithmInfluential work since 2022
- Pick up a classic book: Practical Guide to Computer SimulationsThe most-reprinted book on the subject
- Read the landmark paper: Algorithmic Debugging of Java ProgramsCited 17 times
- Go sideways: Ehud ShapiroA closely related topic
- Go sideways: DebuggingA closely related topic
📖 Definitions
No dictionary entry for this exact phrase.
🗂️ The subject at a glance
🏆 Landmark papers (most cited)
Algorithmic Debugging of Java Programs
Application of program slicing in algorithmic debugging
Algorithmic debugging of real-world haskell programs: deriving dependencies from the cost centre stack
🆕 Influential since 2022
📚 Books worth reading
Practical Guide to Computer SimulationsAlexander K Hartmann · 2009
Ranked by number of editions on Open Library, a rough measure of how lasting a book is.
🔗 Related topics
- Ehud Shapiro Ehud Shapiro (Hebrew: אהוד שפירא; born 1955) is an Israeli scientist, entrepreneur, artist, and political activist who is Professor Emeritus of Computer…
- Debugging In engineering, debugging is the process of finding the root cause, workarounds, and possible fixes for bugs. For software, debugging tactics can involve…
- Prolog Prolog is a logic programming language that has its origins in artificial intelligence, automated theorem proving, and computational linguistics. Prolog…
- Indeterminacy in concurrent computation Indeterminacy in concurrent computation is concerned with the effects of indeterminacy in concurrent computation. Computation is an area in which indeterminacy…
- Inference engine In the field of artificial intelligence, an inference engine is a software component of an intelligent system that applies logical rules to the knowledge…
- Outline of computer science Computer science (also called computing science) is the study of the theoretical foundations of information and computation and their implementation and…
- Programming paradigm A programming paradigm is a relatively high-level way to conceptualize and structure the implementation of a computer program. A programming language can…
- Fifth Generation Computer Systems The Fifth Generation Computer Systems (FGCS; Japanese: 第五世代コンピュータ, romanized: daigosedai konpyūta) was a 10-year initiative launched in 1982 by Japan's…