Certifiable Program Generation
Abstract elided by the publisher.
Related papers
- A type system for certified binaries POPL 2002
- A type system for certified binaries TOPLAS 2005
- Certified self-modifying code PLDI 2007
- Certified abstract machines for skeletal semantics CPP 2022
- A general framework for certifying garbage collectors and their mutators PLDI 2007
- Deriving Specialized Program Analyses for Certifying Component-Client Conformance PLDI 2002
- The Design and Implementation of a Certifying Compiler PLDI 1998
- Certifying graph-manipulating C programs via localizations within data structures OOPSLA 2019