Pages that link to "Item:Q1826465"
From MaRDI portal
The following pages link to A syntactic approach to foundational proof-carrying code (Q1826465):
Displayed 5 items.
- Verified software units (Q2233451) (← links)
- Type-Safe Code Transformations in Haskell (Q2866331) (← links)
- Imperative LF Meta-Programming (Q2871844) (← links)
- Modular development of certified program verifiers with a proof assistant, (Q3546045) (← links)
- Social processes, program verification and all that (Q3643359) (← links)