This HTML5 document contains 29 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/
n4https://global.dbpedia.org/id/
schemahttp://schema.org/
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/
provhttp://www.w3.org/ns/prov#
dbchttp://dbpedia.org/resource/Category:
dbphttp://dbpedia.org/property/
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Device_driver
dbo:wikiPageWikiLink
dbr:Erroneous_program
Subject Item
dbr:Erroneous_program
rdf:type
dbo:Language owl:Thing dbo:ProgrammingLanguage wikidata:Q9143 wikidata:Q315 schema:Language
rdfs:label
Erroneous program
rdfs:comment
In the design of programming languages, an erroneous program is one whose semantics are not well-defined, but where the language implementation is not obligated to signal an error either at compile or at execution time. For example, in Ada: Defining a condition as "erroneous" means that the language implementation need not perform a potentially expensive check (e.g. that a global variable refers to the same object as a subroutine parameter) but may nonetheless depend on a condition being true in defining the semantics of the program.
dcterms:subject
dbc:Programming_language_design
dbo:wikiPageID
21032937
dbo:wikiPageRevisionID
1112721104
dbo:wikiPageWikiLink
dbr:Aliasing_(computing) dbr:Ada_(programming_language) dbc:Programming_language_design dbr:Programming_language
owl:sameAs
n4:4jxts wikidata:Q5395686 freebase:m.05b00t1
dbp:wikiPageUsesTemplate
dbt:Prog-lang-stub
dbo:abstract
In the design of programming languages, an erroneous program is one whose semantics are not well-defined, but where the language implementation is not obligated to signal an error either at compile or at execution time. For example, in Ada: In addition to bounded errors, the language rules define certain kinds of errors as leading to erroneous execution. Like bounded errors, the implementation need not detect such errors either prior to or during run time. Unlike bounded errors, there is no language-specified bound on the possible effect of erroneous execution; the effect is in general not predictable. Defining a condition as "erroneous" means that the language implementation need not perform a potentially expensive check (e.g. that a global variable refers to the same object as a subroutine parameter) but may nonetheless depend on a condition being true in defining the semantics of the program.
prov:wasDerivedFrom
wikipedia-en:Erroneous_program?oldid=1112721104&ns=0
dbo:wikiPageLength
1271
foaf:isPrimaryTopicOf
wikipedia-en:Erroneous_program
Subject Item
dbr:Esterel
dbo:wikiPageWikiLink
dbr:Erroneous_program
Subject Item
dbr:Critical_section
dbo:wikiPageWikiLink
dbr:Erroneous_program
Subject Item
dbr:Erroneous
dbo:wikiPageWikiLink
dbr:Erroneous_program
Subject Item
dbr:Bug_tracking_system
dbo:wikiPageWikiLink
dbr:Erroneous_program
Subject Item
wikipedia-en:Erroneous_program
foaf:primaryTopic
dbr:Erroneous_program