Formal semantics and interpreters in a principles of programming languages course.
Kim B. BrucePublished in: SIGCSE (1999)
Keyphrases
- formal semantics
- programming language
- operational semantics
- denotational semantics
- object oriented
- strongly typed
- general purpose
- logical language
- software engineering
- programs written
- high level
- lambda calculus
- logic programming
- first order logic
- modeling language
- er model
- modelling language
- theorem prover
- programming environment
- database languages
- representation language
- description language
- owl dl ontology
- high level programming language