Towards a Theory of Semantics and Compilers for Programming Languages.
Edward K. BlumPublished in: J. Comput. Syst. Sci. (1969)
Keyphrases
- programming language
- denotational semantics
- logic programming
- specification language
- database languages
- programming language constructs
- object oriented
- general purpose
- high level
- software engineering
- strongly typed
- programming environment
- fluent calculus
- object oriented programming
- speech acts
- domain specific languages
- functional programming
- functional language
- semantic data models
- artificial intelligence
- data abstraction
- program code
- programming paradigms
- lambda calculus
- relational databases