Universal Domains in the Theory of Denotational Semantics of Programming Languages
Manfred DrosteRüdiger GöbelPublished in: LICS (1990)
Keyphrases
- denotational semantics
- programming language
- abstract data types
- object oriented
- operational semantics
- general purpose
- software engineering
- high level
- query language
- programming environment
- specification language
- lambda calculus
- object oriented programming
- speech acts
- formal model
- functional programming
- strongly typed
- data mining