Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Denotational_semantics> ?p ?o }
- 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 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 handy1.pdf.
- Denotational_semantics wikiPageExternalLink 6935.
- Denotational_semantics wikiPageExternalLink densem.html.
- Denotational_semantics wikiPageExternalLink dens.pdf.
- Denotational_semantics wikiPageExternalLink Semantics.
- Denotational_semantics wikiPageExternalLink densem.html.
- Denotational_semantics wikiPageID "55275".
- Denotational_semantics wikiPageLength "24941".
- Denotational_semantics wikiPageOutDegree "94".
- Denotational_semantics wikiPageRevisionID "675400688".
- Denotational_semantics wikiPageWikiLink Abort_(computing).
- Denotational_semantics wikiPageWikiLink Abstract_interpretation.
- Denotational_semantics wikiPageWikiLink Actor_model.
- Denotational_semantics wikiPageWikiLink Applicative_programming_language.
- Denotational_semantics wikiPageWikiLink Axiomatic_semantics.
- Denotational_semantics wikiPageWikiLink Bigraph.
- Denotational_semantics wikiPageWikiLink Bigraphs.
- Denotational_semantics wikiPageWikiLink C._A._R._Hoare.
- Denotational_semantics wikiPageWikiLink Categorical_logic.
- Denotational_semantics wikiPageWikiLink Category:1970_in_computer_science.
- Denotational_semantics wikiPageWikiLink Category:Denotational_semantics.
- Denotational_semantics wikiPageWikiLink Category:Formal_specification_languages.
- Denotational_semantics wikiPageWikiLink Category:Logic_in_computer_science.
- Denotational_semantics wikiPageWikiLink Category:Models_of_computation.
- Denotational_semantics wikiPageWikiLink Category:Programming_language_semantics.
- Denotational_semantics wikiPageWikiLink Category_(mathematics).
- Denotational_semantics wikiPageWikiLink Category_of_sets.
- Denotational_semantics wikiPageWikiLink Category_theory.
- Denotational_semantics wikiPageWikiLink Christopher_Strachey.
- Denotational_semantics wikiPageWikiLink Coherent_space.
- Denotational_semantics wikiPageWikiLink Communicating_sequential_processes.
- Denotational_semantics wikiPageWikiLink Complete_partial_order.
- Denotational_semantics wikiPageWikiLink Computer_science.
- Denotational_semantics wikiPageWikiLink Concurrency_(computer_science).
- Denotational_semantics wikiPageWikiLink Concurrent_ML.
- Denotational_semantics wikiPageWikiLink Concurrent_computing.
- Denotational_semantics wikiPageWikiLink Constructivism_(mathematics).
- Denotational_semantics wikiPageWikiLink Dana_Scott.
- Denotational_semantics wikiPageWikiLink Denotation.
- Denotational_semantics wikiPageWikiLink Denotational_semantics.
- Denotational_semantics wikiPageWikiLink Denotational_semantics_of_the_Actor_model.
- Denotational_semantics wikiPageWikiLink Domain_theory.
- Denotational_semantics wikiPageWikiLink Edsger_Dijkstra.
- Denotational_semantics wikiPageWikiLink Edsger_W._Dijkstra.
- Denotational_semantics wikiPageWikiLink Exception_handling.
- Denotational_semantics wikiPageWikiLink Factorial.
- Denotational_semantics wikiPageWikiLink Formal_semantics_of_programming_languages.
- Denotational_semantics wikiPageWikiLink Formal_verification.
- Denotational_semantics wikiPageWikiLink Function_(mathematics).
- Denotational_semantics wikiPageWikiLink Functor.
- Denotational_semantics wikiPageWikiLink Functor_category.
- Denotational_semantics wikiPageWikiLink Game_semantics.
- Denotational_semantics wikiPageWikiLink Gordon_Plotkin.
- Denotational_semantics wikiPageWikiLink Haskell_(programming_language).
- Denotational_semantics wikiPageWikiLink ICALP.
- Denotational_semantics wikiPageWikiLink Imperative_programming.
- Denotational_semantics wikiPageWikiLink Internal_language.
- Denotational_semantics wikiPageWikiLink International_Colloquium_on_Automata,_Languages_and_Programming.
- Denotational_semantics wikiPageWikiLink Iterated_function.
- Denotational_semantics wikiPageWikiLink Joe_Stoy.
- Denotational_semantics wikiPageWikiLink Journal_of_Computer_and_System_Sciences.
- Denotational_semantics wikiPageWikiLink Kleisli_category.
- Denotational_semantics wikiPageWikiLink Lambda_calculus.
- Denotational_semantics wikiPageWikiLink Linear_logic.
- Denotational_semantics wikiPageWikiLink Local_state.
- Denotational_semantics wikiPageWikiLink Local_variable.
- Denotational_semantics wikiPageWikiLink Logical_disjunction.
- Denotational_semantics wikiPageWikiLink Logical_relation.
- Denotational_semantics wikiPageWikiLink Michael_J._C._Gordon.
- Denotational_semantics wikiPageWikiLink Michael_J._Fischer.
- Denotational_semantics wikiPageWikiLink Model_checking.
- Denotational_semantics wikiPageWikiLink Model_theory.
- Denotational_semantics wikiPageWikiLink Nancy_Lynch.
- Denotational_semantics wikiPageWikiLink Natural_transformation.
- Denotational_semantics wikiPageWikiLink Nondeterministic_algorithm.
- Denotational_semantics wikiPageWikiLink Object_(computer_science).
- Denotational_semantics wikiPageWikiLink Observational_equivalence.
- Denotational_semantics wikiPageWikiLink Operational_semantics.
- Denotational_semantics wikiPageWikiLink Ordered_pair.
- Denotational_semantics wikiPageWikiLink Partial_function.
- Denotational_semantics wikiPageWikiLink Petri_net.
- Denotational_semantics wikiPageWikiLink Petri_nets.
- Denotational_semantics wikiPageWikiLink Phrase.
- Denotational_semantics wikiPageWikiLink Polymorphism_(computer_science).
- Denotational_semantics wikiPageWikiLink Power_domains.
- Denotational_semantics wikiPageWikiLink Principle_of_compositionality.
- Denotational_semantics wikiPageWikiLink Process_calculi.
- Denotational_semantics wikiPageWikiLink Process_calculus.
- Denotational_semantics wikiPageWikiLink Profunctor.
- Denotational_semantics wikiPageWikiLink Program_verification.
- Denotational_semantics wikiPageWikiLink Programming_Computable_Functions.
- Denotational_semantics wikiPageWikiLink Programming_language.
- Denotational_semantics wikiPageWikiLink Programming_language_for_Computable_Functions.
- Denotational_semantics wikiPageWikiLink Proof_net.
- Denotational_semantics wikiPageWikiLink Ralph-Johan_Back.
- Denotational_semantics wikiPageWikiLink Recursion.
- Denotational_semantics wikiPageWikiLink Recursive_data_type.
- Denotational_semantics wikiPageWikiLink Robin_Milner.
- Denotational_semantics wikiPageWikiLink SIAM_Journal_on_Computing.