Pages that link to "Item:Q4279254"
From MaRDI portal
The following pages link to From operational semantics to abstract machines (Q4279254):
Displaying 15 items.
- Simulation of operational semantics of machine instructions (Q763568) (← links)
- 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)
- Abstract interpretation from Büchi automata (Q4635636) (← links)
- (Q4813223) (← 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)
- Abstracting abstract machines (Q5176929) (← links)
- A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)
- Automating the functional correspondence between higher-order evaluators and abstract machines (Q6102250) (← links)
