An Intermediate Language to Define Dynamic Semantics.
Barrett R. BryantA. A. GrauPublished in: Comput. Lang. (1984)
Keyphrases
- logical language
- operational semantics
- formal semantics
- proof theory
- logic programming
- specification language
- highly expressive
- modeling language
- definition language
- fixed point semantics
- intended meaning
- multiple inheritance
- action language
- closure operator
- uml class diagrams
- language learning
- dynamic environments
- dynamic logic
- logic programming language
- conditional logic
- speech acts
- computational linguistics
- programming language