The following pages link to (Q4736986):
Displaying 4 items.
- Tool-assisted specification and verification of typed low-level languages (Q861687) (← links)
- Verified bytecode verifiers. (Q1874284) (← links)
- Operational semantics of the Java Card Virtual Machine (Q1881664) (← links)
- Verified bytecode verification and type-certifying compilation (Q1881665) (← links)