Pages that link to "Item:Q276481"
From MaRDI portal
The following pages link to On the semantics of the bad-variable constructor in Algol-like languages (Q276481):
Displaying 12 items.
- Full abstraction for Reduced ML (Q388212) (← links)
- Full abstraction for idealized Algol with passive expressions (Q1575874) (← links)
- A game semantics of names and pointers (Q2474444) (← links)
- Decidability and syntactic control of interference (Q2481977) (← links)
- Games for complexity of second-order call-by-name programs (Q2570133) (← links)
- An algebraic account of references in game semantics (Q2805167) (← links)
- Algorithmic Nominal Game Semantics (Q3000592) (← links)
- Full Abstraction Without Synchronization Primitives (Q3178268) (← links)
- Full Abstraction for Reduced ML (Q3617719) (← links)
- Reasoning about multi-stage programs (Q5371979) (← links)
- Global State Considered Helpful (Q5415641) (← links)
- Disentangling parallelism and interference in game semantics (Q6635506) (← links)