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):
Displayed 10 items.
- Full abstraction for Reduced ML (Q388212) (← 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)