The Logical Meaning of Programs of a Subrecursive Language.
Wolfgang CoyPublished in: Inf. Process. Lett. (1976)
Keyphrases
- dynamic logic
- natural language
- control structures
- computer programs
- agent programming
- logical language
- error handling
- programming environment
- programming language
- object oriented languages
- language learning
- intended meaning
- predicate calculus
- language constructs
- finite state machines
- semantic representations
- target language
- intermediate level
- concurrent programming
- database languages
- functional language
- relational query languages
- logical structure
- semantic structure
- specification language
- modeling language
- situation calculus
- knowledge representation