denotational semantics

<theory>

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.

Last updated: 1996-08-21

Denotational Semantics Language

<specification, language>

(DSL) The specification language used by the SIS compiler generator.

["SIS - Semantics Implementation System", P.D. Mosses, TR DAIMI MD-30, Aarhus U, Denmark].

Last updated: 1996-10-13

Nearby terms:

Dennis Ritchiedenotational semanticsDenotational Semantics Language

Try this search on Wikipedia, OneLook, Google


Loading