Pages that link to "Item:Q5176935"
From MaRDI portal
The following pages link to The impact of higher-order state and control effects on local relational reasoning (Q5176935):
Displayed 10 items.
- Automata-theoretic semantics of idealized Algol with passive expressions (Q265826) (← links)
- A relational realizability model for higher-order stateful ADTs (Q444500) (← links)
- Program equivalence in a simple language with state (Q456473) (← links)
- Algorithmic games for full ground references (Q1650867) (← links)
- Proving correctness of a compiler using step-indexed logical relations (Q1744423) (← links)
- A program logic for fresh name generation (Q2145263) (← links)
- Algorithmic probabilistic game semantics. Playing games with automata (Q2248076) (← links)
- A Kripke logical relation for effect-based program transformations (Q2629855) (← links)
- Algorithmic Nominal Game Semantics (Q3000592) (← links)
- From Applicative to Environmental Bisimulation (Q5739359) (← links)