A Lisp Compiler for FP Language and Its Proof via Algebraic Semantics.
Christine ChoppyG. GuihoStéphane KaplanPublished in: TAPSOFT, Vol.1 (1985)
Keyphrases
- programming language
- denotational semantics
- specification language
- logic programming
- proof theory
- general purpose
- programs written
- object oriented
- logical language
- logic programming language
- high level
- proof theoretic
- conceptual graphs
- default reasoning
- computer programs
- highly expressive
- dependency directed backtracking
- language learning
- software engineering
- algebraic structure
- dynamic logic
- learning theory
- logical rules
- language constructs
- definition language
- formal language
- model theoretic
- conditional logic
- operational semantics
- object oriented programming
- intended meaning
- algebraic expressions
- complete axiomatization
- natural language
- linear logic
- formal semantics
- theorem prover
- deductive databases
- computer algebra
- owl ontologies
- conceptual model
- fixed point semantics