Denotational Semantics of Programming Languages and Compiler Generation in PowerEpsilon.
Ming-Yuan ZhuPublished in: ACM SIGPLAN Notices (2001)
Keyphrases
- denotational semantics
- programming language
- general purpose
- object oriented
- high level
- strongly typed
- software engineering
- programming environment
- object oriented programming
- database languages
- machine learning
- specification language
- programs written
- integrity constraints
- operational semantics
- abstract data types
- management system
- lambda calculus
- spatio temporal
- programming language constructs