The Design and Implementation of a Certifying Compiler.

George C. Necula Peter Lee

Published in: PLDI (1998)

Keyphrases

implementation issues
computer aided
case study
building blocks
highly modular

database
highly optimized
aspect oriented
efficient implementation
user interface

neural network
databases
knowledge based systems
programming language
general purpose

engineering design
design methodology
future development
circuit design
genetic algorithm