Pages that link to "Item:Q4279254"
From MaRDI portal
The following pages link to From operational semantics to abstract machines (Q4279254):
Displaying 10 items.
- Encoding transition systems in sequent calculus (Q1398474) (← links)
- Mechanized metatheory revisited (Q2323447) (← links)
- A functional correspondence between call-by-need evaluators and lazy abstract machines (Q2390256) (← links)
- A resource semantics and abstract machine for \textit{Safe}: a functional language with regions and explicit deallocation (Q2437794) (← links)
- State-transition machines, revisited (Q2464722) (← links)
- Rule-Based Operational Semantics for an Imperative Language (Q2864516) (← links)
- On Extracting Static Semantics (Q4917055) (← links)
- Formalizing Operational Semantic Specifications in Logic (Q4982629) (← links)
- A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation (Q4982630) (← links)
- A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)
