Pages that link to "Item:Q5178881"
From MaRDI portal
The following pages link to Oracle-based checking of untrusted software (Q5178881):
Displaying 8 items.
- Proof-carrying code from certified abstract interpretation and fixpoint compression (Q860842) (← links)
- Type systems equivalent to data-flow analyses for imperative languages (Q860844) (← links)
- Abstraction-carrying code: a model for mobile code safety (Q949170) (← links)
- A semantic framework for proof evidence (Q1701039) (← links)
- SMT proof checking using a logical framework (Q2441776) (← links)
- Proof checking and logic programming (Q2628296) (← links)
- A formally verified compiler back-end (Q2655327) (← links)
- Every bit counts: The binary representation of typed data and programs (Q3165525) (← links)
