What Are We Trying to Prove? Reflections on Experiences with Proof-Carrying Code
Abstract elided by the publisher.
Related papers
- Proof-Carrying Code POPL 1997
- A Semantic Model of Types and Machine Instructions for Proof-Carrying Code POPL 2000
- An indexed model of recursive types for foundational proof-carrying code TOPLAS 2001
- Dependent Ghosts Have a Reflection for Free ICFP 2024
- A Proof-Carrying Code Architecture for Java CAV 2000
- Proof-Carrying Code in a Session-Typed Process Calculus CPP 2011
- Featherwieght Java: A Minimal Core Calculus for Java and GJ OOPSLA 1999
- Root Causing Linearizability Violations CAV 2020