Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Algorithmic_program_debugging> ?p ?o }
Showing triples 1 to 34 of
34
with 100 triples 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 wikiPageLength "4532".
- Algorithmic_program_debugging wikiPageOutDegree "24".
- Algorithmic_program_debugging wikiPageRevisionID "706869528".
- Algorithmic_program_debugging wikiPageWikiLink Category:Debugging.
- Algorithmic_program_debugging wikiPageWikiLink Completeness_(logic).
- Algorithmic_program_debugging wikiPageWikiLink Computation.
- Algorithmic_program_debugging wikiPageWikiLink Computer_program.
- Algorithmic_program_debugging wikiPageWikiLink Correctness_(computer_science).
- Algorithmic_program_debugging wikiPageWikiLink Debugging.
- Algorithmic_program_debugging wikiPageWikiLink Divergence_(computer_science).
- Algorithmic_program_debugging wikiPageWikiLink Ehud_Shapiro.
- Algorithmic_program_debugging wikiPageWikiLink Execution_(computing).
- Algorithmic_program_debugging wikiPageWikiLink Formal_specification.
- Algorithmic_program_debugging wikiPageWikiLink Functional_programming.
- Algorithmic_program_debugging wikiPageWikiLink Logic_programming.
- Algorithmic_program_debugging wikiPageWikiLink Object-oriented_programming.
- Algorithmic_program_debugging wikiPageWikiLink Programmer.
- Algorithmic_program_debugging wikiPageWikiLink Software_bug.
- Algorithmic_program_debugging wikiPageWikiLinkText "Algorithmic Program Debugging".
- Algorithmic_program_debugging wikiPageWikiLinkText "Algorithmic program debugging".
- Algorithmic_program_debugging wikiPageUsesTemplate Template:Portal.
- Algorithmic_program_debugging wikiPageUsesTemplate Template:Reflist.
- Algorithmic_program_debugging subject Category:Debugging.
- Algorithmic_program_debugging hypernym Technique.
- Algorithmic_program_debugging type TopicalConcept.
- 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 Q17084976.
- Algorithmic_program_debugging sameAs m.0_qcxd5.
- Algorithmic_program_debugging sameAs Q17084976.
- Algorithmic_program_debugging wasDerivedFrom Algorithmic_program_debugging?oldid=706869528.
- Algorithmic_program_debugging isPrimaryTopicOf Algorithmic_program_debugging.