Pages that link to "Item:Q4285642"
From MaRDI portal
The following pages link to Run-time type computations in the Warren Abstract machine (Q4285642):
Displaying 4 items.
- Specification and correctness proof of a WAM extension with abstract type constraints (Q1815343) (← links)
- Refinement of a typed WAM extension by polymorphic order-sorted types (Q1816918) (← links)
- A complete semantics of \(\mathbb{K}\) and its translation to Isabelle (Q2119971) (← links)
- Witness Runs for Counter Machines (Q5891236) (← links)