Pages that link to "Item:Q2566223"
From MaRDI portal
The following pages link to Executable JVM model for analytical reasoning: A study (Q2566223):
Displaying 4 items.
- Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax (Q438569) (← links)
- The right tools for the job: correctness of cone of influence reduction proved using ACL2 and HOL4 (Q540690) (← links)
- A mechanical analysis of program verification strategies (Q928673) (← links)
- CoqJVM: An Executable Specification of the Java Virtual Machine Using Dependent Types (Q3499747) (← links)
