An Implementation of a Translational Semantics for an Imperative Language.
Lars-Åke FredlundBengt JonssonJoachim ParrowPublished in: CONCUR (1990)
Keyphrases
- specification language
- programming language
- logical language
- operational semantics
- intended meaning
- formal semantics
- formal language
- logic programming
- conceptual model
- semantically equivalent
- logic programming language
- natural language
- hardware implementation
- agent communication language
- algebraic operations
- definition language
- agent communication
- semantic information
- speech acts
- owl ontologies
- conceptual graphs
- formal specification
- image formation