Static and Computational Semantics of a Definitional Language.
Jean-Pierre FinancePublished in: Formal Description of Programming Concepts (1977)
Keyphrases
- logical language
- intended meaning
- specification language
- logic programming language
- formal language
- operational semantics
- logic programming
- definition language
- programming language
- denotational semantics
- highly expressive
- conceptual graphs
- formal semantics
- action language
- proof theory
- language learning
- natural language
- model theoretic
- computational linguistics
- formal languages
- language processing
- semantically equivalent
- speech acts
- conditional logic
- modal operators
- multiple inheritance
- computational models