Extensible Denotational Language Specifications.
Robert CartwrightMatthias FelleisenPublished in: TACS (1994)
Keyphrases
- operational semantics
- specification language
- data model
- programming language
- formal semantics
- formal language
- natural language
- language learning
- mental states
- markup language
- formal specification
- database
- computational linguistics
- controlled natural language
- linguistic knowledge
- general purpose
- object oriented
- agent programming