The following pages link to (Q4474214):
Displaying 4 items.
- Verified bytecode verification and type-certifying compilation (Q1881665) (← links)
- A resource semantics and abstract machine for \textit{Safe}: a functional language with regions and explicit deallocation (Q2437794) (← links)
- A formally verified compiler back-end (Q2655327) (← links)
- Formal Certification of a Resource-Aware Language Implementation (Q3183530) (← links)
