PCC: Conventional and Foundational
May 2, 2024 at 1:36 pm
Defense
Formal
Paper
PL
System
Conventional
Proof-carrying code
A certifying compiler for Java
Foundational
Foundational proof-carrying code
A Syntactic Approach to Foundational Proof-Carrying Code
An Open Framework for Foundational Proof-Carrying Code
Interfacing Hoare Logic and Type Systems for Foundational Proof-Carrying Code