Pages that link to "Item:Q5178856"
From MaRDI portal
The following pages link to A semantic model of types and machine instructions for proof-carrying code (Q5178856):
Displaying 4 items.
- Proof-carrying code from certified abstract interpretation and fixpoint compression (Q860842) (← links)
- Automated techniques for provably safe mobile code. (Q1853627) (← links)
- Efficient Substitution in Hoare Logic Expressions (Q4921508) (← links)
- Type Theories from Barendregt’s Cube for Theorem Provers (Q5251190) (← links)
