Towards a Provably Correct Compiler for OBJ3.

Lutz H. Hamel Joseph A. Goguen

Published in: PLILP (1994)

Keyphrases

provably correct
formal methods
programming language
situation calculus
software systems
distributed memory machines
general purpose
error estimates
highly optimized
case study
code generation
operating system
life cycle
building blocks
java virtual machine
level parallelism
neural network