About: Programming language semantics

An Entity of Type: Concept, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Property	Value
dbo:wikiPageID	21032879 (xsd:integer)
dbo:wikiPageRevisionID	876208024 (xsd:integer)
dbp:wikiPageUsesTemplate	dbt:Cat_main
rdf:type	skos:Concept
rdfs:label	Programming language semantics (en)
skos:broader	dbc:Logic_in_computer_science dbc:Programming_language_theory
skos:prefLabel	Programming language semantics (en)
prov:wasDerivedFrom	wikipedia-en:Category:Programming_language_semantics?oldid=876208024&ns=14
is dbo:wikiPageWikiLink of	dbr:Normalisation_by_evaluation dbr:Denotational_semantics dbr:Algebraic_semantics_(computer_science) dbr:Operational_semantics dbr:Call-by-push-value dbr:Full_abstraction dbr:Action_semantics dbr:Liskov_substitution_principle dbr:Logical_relations dbr:J_operator dbr:Axiomatic_semantics dbr:Semantics_(computer_science) dbr:Unifying_Theories_of_Programming dbr:Observational_equivalence dbr:Execution_semantics dbr:Natural_semantics
is dcterms:subject of	dbr:Normalisation_by_evaluation dbr:Denotational_semantics dbr:Algebraic_semantics_(computer_science) dbr:Operational_semantics dbr:Call-by-push-value dbr:Full_abstraction dbr:Action_semantics dbr:Liskov_substitution_principle dbr:Logical_relations dbr:J_operator dbr:Axiomatic_semantics dbr:Semantics_(computer_science) dbr:Unifying_Theories_of_Programming dbr:Observational_equivalence dbr:Execution_semantics dbr:Natural_semantics
is skos:broader of	dbc:Operational_semantics dbc:Denotational_semantics dbc:Axiomatic_semantics

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License