A Mechanically Verified Compiling Specification for a Lisp Compiler.
Axel DoldVincent VialardPublished in: FSTTCS (2001)
Keyphrases
- programming language
- specification language
- learning theory
- code generation
- high level
- general purpose
- highly modular
- object oriented programming
- programs written
- constraint language
- formal specification
- theorem prover
- software systems
- object oriented
- knowledge representation
- website
- dependency directed backtracking
- neural network
- distributed memory machines
- conceptual model
- highly optimized
- real time
- social networks
- information retrieval
- databases