DENOTATIONAL SEMANTICS

Domain	Definition
Computing	Denotational semantics A technique for describing the meaning of programs in terms of mathematical functions on programs and program components. Programs are translated into functions about which properties can be proved using the standard mathematical theory of functions, and especially domain theory. Compare axiomatic semantics, operational semantics, standard semantics. (1996-08-21). Source: The Free On-line Dictionary of Computing.
Source: compiled by the editor from various references; see credits.

Specialty Definition: Denotational semantics

In computer science, denotational semantics is one of the approaches to formalize the meaning of computer programs, which is semantics using knowledge of mathematics. Other approaches include axiomatic semantics and operational semantics.

The field was originally developed by Christopher Strachey and Dana Scott.

Denotational semantics generally makes use of the techniques of functional programming to describe computer languages, architectures and programs. The mathematics of denotational semantics is usually now formulated within domain theory.

Related fields:

program transformation
type theory

References

The classic work on the subject is:

Joseph E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Semantics. MIT Press, Cambridge, Massachusetts, 1977.

External links

Commercial Usage: DENOTATIONAL SEMANTICS

Domain	Title
Books	A Practical Introduction to Denotational Semantics (reference) Denotational Semantics (reference) Metasoft Primer: Towards a Metalanguage for Applied Denotational Semantics (Lecture Notes in Computer Science, Vol 288) (reference) (more book examples)
Source: compiled by the editor from various references; see credits.

Expression: DENOTATIONAL SEMANTICS

Anagrams: DENOTATIONAL SEMANTICS

Scrabble® Enable2K-Verified Anagrams
	Words within the letters "a-a-a-c-d-e-e-i-i-l-m-n-n-n-o-o-s-s-t-t-t"
	-5 letters: decontaminations.
Source: compiled by the editor from various references; see credits. SCRABBLE® is a registered trademark. All intellectual property rights in and to the game are owned in the U.S.A and Canada by Hasbro Inc., and throughout the rest of the world by J.W. Spear & Sons Limited of Maidenhead, Berkshire, England, a subsidiary of Mattel Inc. Mattel and Spear are not affiliated with Hasbro.

Alternative Orthography: DENOTATIONAL SEMANTICS

Hexadecimal (or equivalents, 770AD-1900s) (references)

44 45 4E 4F 54 41 54 49 4F 4E 41 4C 53 45 4D 41 4E 54 49 43 53

Leonardo da Vinci (1452-1519; backwards) (references)

Binary Code (1918-1938, probably earlier) (references)

01000100 01000101 01001110 01001111 01010100 01000001 01010100 01001001 01001111 01001110 01000001 01001100 00100000 01010011 01000101 01001101 01000001 01001110 01010100 01001001 01000011 01010011

HTML Code (1990) (references)

&#68 &#69 &#78 &#79 &#84 &#65 &#84 &#73 &#79 &#78 &#65 &#76 &#32 &#83 &#69 &#77 &#65 &#78 &#84 &#73 &#67 &#83

ISO 10646 (1991-1993) (references)

0044 0045 004E 004F 0054 0041 0054 0049 004F 004E 0041 004C 0053 0045 004D 0041 004E 0054 0049 0043 0053

Encryption (beginner's substitution cypher): (references)

DENOTATIONAL SEMANTICS

Specialty Definition: DENOTATIONAL SEMANTICS

Computing

Specialty Definition: Denotational semantics

References

External links

Crosswords: DENOTATIONAL SEMANTICS

Commercial Usage: DENOTATIONAL SEMANTICS

Books