denotational semantics
denotational semantics An approach to the semantics of programming languages in which the meaning of a program in a particular language is given by a valuation function that associates with each well-formed syntactic construct of the language an abstract value, e.g. a term with a number, a test with a truth value, or a command with a function on states. These valuation functions are compositional or recursive in nature: the value of a program is specified as a function of the values denoted by its syntactic subcomponents. To define valuation functions it is usually necessary to solve functional equations using fixed-point methods.
This approach was initiated and developed by Christopher Strachey and Dana Scott to provide a semantic theory that was more abstract than operational semantics. It is less abstract than axiomatic semantics.
This approach was initiated and developed by Christopher Strachey and Dana Scott to provide a semantic theory that was more abstract than operational semantics. It is less abstract than axiomatic semantics.
More From encyclopedia.com
Fp , FP A notation for functional programming proposed by J. W. Backus in 1978. Backus propounded a general functional style of programming, and developed… Primitive Recursion , primitive recursive function A function that can be obtained from certain initial functions by a finite number of applications of composition and pri… Function , A function is a mathematical relationship between two sets of real numbers. These sets of numbers are related to each other by a rule that assigns ea… Teleology , The term teleology locates a series of connected philosophical questions. If we grant that there is such a thing as purposive or goal-directed activi… Lisp , LISP
LISP, an acronym for LISt Processing, is a programming language developed by John McCarthy in the late 1950s. Although LISP is a general-purpose… functional , functional •annal, channel, flannel, impanel, multichannel, panel •cracknel •grapnel, shrapnel •carnal •antennal, crenel, fennel, kennel •regnal •ana…
You Might Also Like
NEARBY TERMS
denotational semantics