Formally verifying a compiler: Why? How? How far?

Published in: CGO (2011)

Keyphrases

software systems
programming language
general purpose
distributed memory machines
highly optimized
code generation
genetic algorithm
model checking
real time
relational databases
software engineering
multi agent systems
data structure
high level
case study
image processing
data mining