Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Algorithmic_program_debugging> ?p ?o. }
Showing items 1 to 12 of
12
with 100 items per page.
- Algorithmic_program_debugging abstract "Algorithmic debugging (also called declarative 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.".
- Algorithmic_program_debugging wikiPageID "41912803".
- Algorithmic_program_debugging wikiPageRevisionID "599626244".
- Algorithmic_program_debugging subject Category:Debugging.
- Algorithmic_program_debugging subject Category:Logic_programming_languages.
- Algorithmic_program_debugging comment "Algorithmic debugging (also called declarative 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.".
- Algorithmic_program_debugging label "Algorithmic program debugging".
- Algorithmic_program_debugging sameAs m.0_qcxd5.
- Algorithmic_program_debugging sameAs Q17084976.
- Algorithmic_program_debugging sameAs Q17084976.
- Algorithmic_program_debugging wasDerivedFrom Algorithmic_program_debugging?oldid=599626244.
- Algorithmic_program_debugging isPrimaryTopicOf Algorithmic_program_debugging.