The design and implementation of a certifying compiler
PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
Semantics and correctness of a query language translation: (preliminary version)
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Control flow aspects of semantics directed compiling (Summary)
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
Validation of code-improving transformations for embeded systems
Proceedings of the 2003 ACM symposium on Applied computing
The design and implementation of a certifying compiler
ACM SIGPLAN Notices - Best of PLDI 1979-1999
Automatic validation of code-improving transformations on low-level program representations
Science of Computer Programming - Special issue on program transformation
| Hi-index | 0.01 |