CoVaC: Compiler Validation by Program Analysis of the Cross-Product.

Anna Zaks Amir Pnueli

Published in: FM (2008)

Keyphrases

life cycle
case study
general purpose
programming language
software systems
product quality
data sets
highly optimized
information systems
knowledge base
multiscale
product design
positive or negative