Definisjon av denotational semantics

Vi fant 2 definisjoner av denotational semanticsengelsk.

Annonsering

Wiktionary Wiktionary dictionary logo

Substantiv

denotational semantics - An approach to formalizing the meanings of programming languages by constructing mathematical objects called denotations which describe the meanings of expressions from the languages.

OmegaWiki Dictionary Ω

  • denotational semantics
    A technique of describing the "meaning" of programs as mathematical functions, allowing people to prove theorems and reason about programs as mathematical entities.

Siste søk