 denotational semantics

An approach to formalizing the meanings of programming languages by constructing mathematical objects called denotations which describe the meanings of expressions from the languages.See Also: axiomatic semantics, operational semantics
Wikipedia foundation.
Look at other dictionaries:
Denotational semantics — In computer science, denotational semantics (initially known as mathematical semantics or Scott–Strachey semantics) is an approach to formalizing the meanings of programming languages by constructing mathematical objects (called denotations)… … Wikipedia
Denotational semantics of the Actor model — The denotational semantics of the Actor model is the subject of denotational domain theory for Actors. The historical development of this subject is recounted in [Hewitt 2008b]. Contents 1 Actor fixed point semantics 2 Compositionality in… … Wikipedia
Semantics — is the study of meaning in communication. The word derives from Greek σημαντικός ( semantikos ), significant , [cite weburl=http://www.perseus.tufts.edu/cgi bin/ptext?doc=Perseus%3Atext%3A1999.04.0057%3Aentry%3D%2393797title=Semantikos, Henry… … Wikipedia
Formal semantics of programming languages — In theoretical computer science, formal semantics is the field concerned with the rigorous mathematical study of the meaning of programming languages and models of computation. The formal semantics of a language is given by a mathematical model… … Wikipedia
Operational semantics — In computer science, operational semantics is a way to give meaning to computer programs in a mathematically rigorous way. Operational semantics are classified into two categories: structural operational semantics (or small step semantics)… … Wikipedia
Game semantics — (German: dialogische Logik) is an approach to formal semantics that grounds the concepts of truth or validity on game theoretic concepts, such as the existence of a winning strategy for a player, somewhat resembling Socratic dialogues or medieval … Wikipedia
Axiomatic semantics — is an approach based on mathematical logic to proving the correctness of computer programs. It is closely related to Hoare logic. Axiomatic semantics define the meaning of a command in a program by describing its effect on assertions about the… … Wikipedia
Algebraic semantics — In logic, algebraic semantics is a formal semantics based on algebras. For example, the modal logic S4 is characterized by the class of topological boolean algebras mdash;that is, boolean algebras with an interior operator. Other modal logics are … Wikipedia
mathematical semantics — noun A study of formal semantics of computer languages, such as denotational semantics … Wiktionary
Action semantics — is a framework for the formal specification of semantics of programming languages invented by David Watt and Peter D. Mosses. It is a mixture of denotational, operational and algebraic semantics.Action Semantics aims to be pragmatic. Action… … Wikipedia