The Varieties of Programming Language Semantics.
Peter D. MossesPublished in: Ershov Memorial Conference (2001)
Keyphrases
- programming language
- denotational semantics
- logic programming
- specification language
- programming language constructs
- database languages
- object oriented
- high level
- general purpose
- programming environment
- software engineering
- domain specific languages
- strongly typed
- object oriented programming
- formal semantics
- programming tool
- computer programs
- fluent calculus
- language constructs
- logic programming language
- data abstraction
- database language
- object oriented concepts
- database management systems
- semantic data models
- first order logic