Formal Semantics of Programming Languages: - An Overview - .
Peter D. MossesPublished in: Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
- formal semantics
- programming language
- denotational semantics
- operational semantics
- lambda calculus
- strongly typed
- object oriented
- general purpose
- programming environment
- logic programming
- high level
- software engineering
- er model
- modeling language
- logical language
- database languages
- modelling language
- owl dl ontology
- data abstraction
- abstract data types
- theorem prover
- first order logic
- data model
- databases
- high level programming language
- machine learning