Back to Results
First PageMeta Content
Formal methods / Type theory / Dependently typed programming / Theoretical computer science / Logic in computer science / Coq / Abstract interpretation / CurryHoward correspondence / Predicate transformer semantics / Proof-carrying code / Correctness / Lines of Action


Proof-Carrying Code from Certied Abstract Interpretation and Fixpoint Compression Frédéric Besson and Thomas Jensen and David Pichardie Irisa, Campus de Beaulieu, FRennes, France Abstract
Add to Reading List

Document Date: 2014-09-03 04:27:20

Open Document

File Size: 387,82 KB

Share Result on Facebook