Denotational Semantics: A Methodology for Language Development |
Other editions - View all
Common terms and phrases
a₁ abstract syntax accessenv ALGOL60 Alist answer argument array B₁ B₂ BNF rule C₁ C₂ Chapter Cmdcont codomain command compiler cons nil construction continuation continuous functions coroutine D₁ D₂ denotable value Denotable-value denotational definition denotational semantics derivation tree digit domain theory E₁ E₂ elements environment equals error evaluation example expressible value Expressible-value false finite function expression graph identifiers implementation Index infinite input inverse limit isomorphic lambda lambda calculus language in Figure LASTANSWER least fixed point Location makerat maps mathematical induction multrat natural numbers newstore nontermination notation occurrences operation operational semantics parameter partial ordering pointed cpo powerdomain Proc programming language proof r-pairs recursively defined represents s₁ Section semantic algebras semantic definitions semantic domains semantic equations sequence simplification stack Storable-value structural induction syntax definition syntax domain tion transfinite induction true truth values tuple update updateenv valuation function zero