The following pages link to (Q2763680):
Displaying 8 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)
- Extracting a data flow analyser in constructive logic (Q2566027) (← links)
- (Q2771738) (← links)
- Certified Static Analysis by Abstract Interpretation (Q3184788) (← links)
- CoqJVM: An Executable Specification of the Java Virtual Machine Using Dependent Types (Q3499747) (← links)