The following pages link to (Q4261077):
Displaying 7 items.
- A trustworthy proof checker (Q1826468) (← links)
- Automated techniques for provably safe mobile code. (Q1853627) (← links)
- A portable virtual machine target for proof-carrying code (Q2566229) (← links)
- Computing Preconditions and Postconditions of While Loops (Q3105751) (← links)
- CoqJVM: An Executable Specification of the Java Virtual Machine Using Dependent Types (Q3499747) (← links)
- ANF preserves dependent types up to extensional equality (Q5051989) (← links)
- Logic for Programming, Artificial Intelligence, and Reasoning (Q5705954) (← links)