A New Criterion for Safe Program Transformations
No abstract available.
Related papers
- Robustly Safe Compilation ESOP 2019
- How to Make Destructive Updates Less Destructive POPL 1991
- Robustly Safe Compilation, an Efficient Form of Secure Compilation TOPLAS 2021
- Verified Validation of Program Slicing CPP 2015
- Programming Type-Safe Transformations Using Higher-Order Abstract Syntax CPP 2013
- Specifying the Correctness of Binding-Time Analysis JFP 1993
- Specifying the Correctness of Binding-Time Analysis POPL 1993
- Formally proving a compiler transformation safe Haskell 2015