Pages that link to "Item:Q4015948"
From MaRDI portal
The following pages link to A verified prolog compiler for the Warren Abstract Machine (Q4015948):
Displaying 5 items.
- C-expressions: A variable-free calculus for equational logic programming (Q1208416) (← links)
- Specification, verification and prototyping of an optimized compiler (Q1346607) (← links)
- TWAM: a certifying abstract machine for logic programs (Q1629962) (← links)
- Specification and correctness proof of a WAM extension with abstract type constraints (Q1815343) (← links)
- An Improved Proof-Theoretic Compilation of Logic Programs (Q4911140) (← links)
