Sign up to make the most of YourDictionary
By signing in, you agree to our Terms and Conditions
We'll see you in your inbox soon.
Of or pertaining to denotation.
The purpose of the denotational semantics of a language is to assign a value to every expression in the langauge.
This talk presents a novel semantics for Idealized ALGOL using games, which is quite unlike traditional denotational models of state.
Their denotational semantics are fully abstract with respect to contextual equivalence.
We look at denotational semantics, using sets and functions, the substitution lemma and equational theory.
Find similar words to denotational using the buttons