Toward Compiler Implementation Correctness Proofs.

Laurian M. Chirica David F. Martin

Published in: ACM Trans. Program. Lang. Syst. (1986)

Keyphrases

efficient implementation
highly optimized
information systems
genetic algorithm
general purpose
open source
theorem proving
data sets
decision trees
programming language
theorem prover
implementation issues