Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Denotational_semantics> ?p ?o. }
Showing items 1 to 49 of
49
with 100 items per page.
- Denotational_semantics abstract "In computer science, denotational semantics (initially known as mathematical semantics or Scott–Strachey semantics) is an approach of formalizing the meanings of programming languages by constructing mathematical objects (called denotations) that describe the meanings of expressions from the languages. Other approaches to providing a formal semantics of programming languages include axiomatic semantics and operational semantics.Broadly speaking, denotational semantics is concerned with finding mathematical objects called domains that represent what programs do. For example, programs (or program phrases) might be represented by partial functions or by games between the environment and the system.An important tenet of denotational semantics is that semantics should be compositional: the denotation of a program phrase should be built out of the denotations of its subphrases.".
- Denotational_semantics wikiPageExternalLink 6935.
- Denotational_semantics wikiPageExternalLink densem.html.
- Denotational_semantics wikiPageExternalLink dens.pdf.
- Denotational_semantics wikiPageExternalLink handy1.pdf.
- Denotational_semantics wikiPageExternalLink Semantics.
- Denotational_semantics wikiPageExternalLink densem.html.
- Denotational_semantics wikiPageID "55275".
- Denotational_semantics wikiPageRevisionID "606016153".
- Denotational_semantics hasPhotoCollection Denotational_semantics.
- Denotational_semantics subject Category:1970_in_computer_science.
- Denotational_semantics subject Category:Denotational_semantics.
- Denotational_semantics subject Category:Formal_specification_languages.
- Denotational_semantics subject Category:Logic_in_computer_science.
- Denotational_semantics subject Category:Models_of_computation.
- Denotational_semantics subject Category:Programming_language_semantics.
- Denotational_semantics type Assistant109815790.
- Denotational_semantics type CausalAgent100007347.
- Denotational_semantics type LivingThing100004258.
- Denotational_semantics type Model110324560.
- Denotational_semantics type ModelsOfComputation.
- Denotational_semantics type Object100002684.
- Denotational_semantics type Organism100004475.
- Denotational_semantics type Person100007846.
- Denotational_semantics type PhysicalEntity100001930.
- Denotational_semantics type Whole100003553.
- Denotational_semantics type Worker109632518.
- Denotational_semantics type YagoLegalActor.
- Denotational_semantics type YagoLegalActorGeo.
- Denotational_semantics comment "In computer science, denotational semantics (initially known as mathematical semantics or Scott–Strachey semantics) is an approach of formalizing the meanings of programming languages by constructing mathematical objects (called denotations) that describe the meanings of expressions from the languages.".
- Denotational_semantics label "Denotational semantics".
- Denotational_semantics label "Denotationelle Semantik".
- Denotational_semantics label "Semantica denotazionale".
- Denotational_semantics label "Semântica denotacional".
- Denotational_semantics label "Sémantique dénotationnelle".
- Denotational_semantics label "指称语义".
- Denotational_semantics label "表示的意味論".
- Denotational_semantics sameAs Denotationelle_Semantik.
- Denotational_semantics sameAs Δηλωτική_σημασιολογία.
- Denotational_semantics sameAs Sémantique_dénotationnelle.
- Denotational_semantics sameAs Semantica_denotazionale.
- Denotational_semantics sameAs 表示的意味論.
- Denotational_semantics sameAs Semântica_denotacional.
- Denotational_semantics sameAs m.0fcvc.
- Denotational_semantics sameAs Q1189746.
- Denotational_semantics sameAs Q1189746.
- Denotational_semantics sameAs Denotational_semantics.
- Denotational_semantics wasDerivedFrom Denotational_semantics?oldid=606016153.
- Denotational_semantics isPrimaryTopicOf Denotational_semantics.