The design and implementation of a certifying compiler (with retrospective)
George C. NeculaPeter LeePublished in: Best of PLDI (1998)
Keyphrases
- implementation issues
- design process
- platform independent
- efficient implementation
- case study
- design considerations
- design space
- design patterns
- programming language
- user interface
- data sets
- modeling language
- building blocks
- current status
- circuit design
- hardware architecture
- highly optimized
- detailed design
- highly modular