Pages that link to "Item:Q963342"
From MaRDI portal
The following pages link to On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion (Q963342):
Displaying 11 items.
- On inter-deriving small-step and big-step semantics: a case study for storeless call-by-need evaluation (Q428886) (← links)
- Flag-based big-step semantics (Q516041) (← links)
- On graph rewriting, reduction, and evaluation in the presence of cycles (Q526460) (← links)
- A correspondence between type checking via reduction and type checking via evaluation (Q763480) (← links)
- Inter-deriving semantic artifacts for object-oriented programming (Q980939) (← links)
- A functional approach to generic programming using adaptive traversals (Q1929347) (← links)
- Proofs, Upside Down (Q2937799) (← links)
- Calculating Certified Compilers for Non-deterministic Languages (Q2941174) (← links)
- Three Syntactic Theories for Combinatory Graph Reduction (Q3003482) (← links)
- Inter-deriving Semantic Artifacts for Object-Oriented Programming (Q3511441) (← links)
- From Reduction-Based to Reduction-Free Normalization (Q3649133) (← links)
