Extension of Weakest Precondition Formalism to a Low Level Language.
Amitabha SanyalSupratim BiswasVishv M. MalhotraPublished in: FSTTCS (1987)
Keyphrases
- low level
- high level
- logical language
- programming language
- formal language
- conceptual graphs
- higher level
- knowledge representation
- action language
- formal theory
- operational semantics
- highly expressive
- representation language
- computational linguistics
- terminological knowledge
- low level features
- natural language
- language processing
- visual information
- database systems
- artificial intelligence
- mid level
- formal semantics
- visual cues
- reasoning about actions
- language learning
- formal logic