Programming Languages and Operational Semantics by Fernández Maribel, King's College Publications, 2004, ISBN 0954300637.
Alex SimpsonPublished in: J. Funct. Program. (2007)
Keyphrases
- operational semantics
- denotational semantics
- programming language
- formal semantics
- object oriented
- mental states
- data model
- general purpose
- programming environment
- high level
- software engineering
- logic programming
- database languages
- strongly typed
- activity diagrams
- lambda calculus
- specification language
- programming paradigms
- concurrent programming
- speech acts