denotational semantics

Get Babylon's Translation Software! Free Download Now!
Babylon 8 - Your all-in-one solution
Award winning translation software trusted by millions. Translate from any language to any language.
View Demo



Wikipedia English The Free EncyclopediaDownload this dictionary
Denotational semantics
In computer science, denotational semantics is an approach to formalizing the meanings of programming languages by constructing mathematical objects (called denotations) which describe the meanings of expressions from the languages. Other approaches to providing a formal semantics of programming languages include axiomatic semantics and operational semantics.
See more at Wikipedia.org...

This article uses material from Wikipedia® and is licensed under the GNU Free Documentation License

FOLDOC DictionaryDownload this dictionary
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.
(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].
(1996-10-13)


(c) Copyright 1993 by Denis Howe

Define denotational semantics

Translate denotational semantics





| denotational semantics in French | denotational semantics in Portuguese | denotational semantics in German | denotational semantics in Serbian