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 6 items.
- Towards a trustworthy semantics-based language framework via proof generation (Q832282) (← links)
- 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)
- Theorem Proving in Higher Order Logics (Q5464642) (← links)