Pages that link to "Item:Q860842"
From MaRDI portal
The following pages link to Proof-carrying code from certified abstract interpretation and fixpoint compression (Q860842):
Displaying 7 items.
- Abstraction-carrying code: a model for mobile code safety (Q949170) (← links)
- Program and proof optimizations with type systems (Q953533) (← links)
- Reusing predicate precision in value analysis (Q2165503) (← links)
- Verified software units (Q2233451) (← links)
- Modular development of certified program verifiers with a proof assistant, (Q3546045) (← links)
- Certification Using the Mobius Base Logic (Q3602993) (← links)
- Structural Abstract Interpretation: A Formal Study Using Coq (Q5191090) (← links)
