A Shorter Compiler Correctness Proof for Language IMP.
Pasquale NocePublished in: Arch. Formal Proofs (2021)
Keyphrases
- programming language
- general purpose
- language learning
- provably correct
- natural language
- functional language
- databases
- proof theory
- distributed memory machines
- data sets
- highly optimized
- constraint logic programming
- formal language
- english language
- programming environment
- theorem proving
- software engineering
- high level