This HTML5 document contains 30 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n6https://global.dbpedia.org/id/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
dbchttp://dbpedia.org/resource/Category:
xsdhhttp://www.w3.org/2001/XMLSchema#
goldhttp://purl.org/linguistics/gold/
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Algorithmic_program_debugging
rdf:type
dbo:TopicalConcept
rdfs:label
Algorithmic program debugging
rdfs: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. 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.
dcterms:subject
dbc:Debugging
dbo:wikiPageID
41912803
dbo:wikiPageRevisionID
1028011215
dbo:wikiPageWikiLink
dbr:Ehud_Shapiro dbr:Formal_specification dbr:Functional_languages dbr:Debugging dbc:Debugging dbr:Computations dbr:Non-termination dbr:Object-oriented_programming dbr:Execution_(computing) dbr:Completeness_(logic) dbr:Software_bug dbr:Correctness_(computer_science) dbr:Computer_program dbr:Programmer dbr:Logic_programming
owl:sameAs
n6:fagt freebase:m.0_qcxd5 wikidata:Q17084976
dbp:wikiPageUsesTemplate
dbt:Reflist
dbo: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.
gold:hypernym
dbr:Technique
prov:wasDerivedFrom
wikipedia-en:Algorithmic_program_debugging?oldid=1028011215&ns=0
dbo:wikiPageLength
4652
foaf:isPrimaryTopicOf
wikipedia-en:Algorithmic_program_debugging