The Design and Implementation of a Certifying Compiler.
George C. NeculaPeter LeePublished 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