A Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety
No abstract available.
Related papers
- A Type System for Expressive Security Policies POPL 2000
- The Design and Implementation of a Certifying Compiler PLDI 1998
- Certificate translation for optimizing compilers TOPLAS 2009
- A Distributed Garbage Collector with Diffusion Tree Reorganisation and Mobile Objects ICFP 1998
- A type system for certified binaries POPL 2002
- Formalising Java RMI with explicit code mobility OOPSLA 2005
- Cogent: uniqueness types and certifying compilation JFP 2021
- Using Dependent Types to Certify the Safety of Assembly Code SAS 2005