denotational semantics

Also found in: Wikipedia

0.02 sec.

(theory)

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.

How to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit webmaster's page for free fun content.

?Page tools

Feedback

Mentioned in

Computational Adequacy Theorem

Denotational Semantics Language

domain theory

Quest

SMALL

Encyclopedia browser

Full browser

Dennis the Menace
Dennis Wolf Bushyhead
Dennis, Eugene
Dennis, John
Dennison, Aaron Lufkin
Denon, Dominique-Vivant, Baron
Denonville, Jacques René de Brisay, marquis de

denotational semantics
Denotational Semantics Language
dense wavelength division multiplexing
densitometer
Density
density current
density function
Density matrix

Free Tools:	For surfers: Browser extension \| Word of the Day \| Help For webmasters: Free content \| Linking \| Lookup box \| Double-click lookup \| Partner with us

All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.. Terms of Use.