Pages that link to "Item:Q4917052"
From MaRDI portal
The following pages link to Regular-Language Semantics for a Call-by-Value Programming Language (Q4917052):
Displayed 8 items.
- Functions with local state: regularity and undecidability (Q557802) (← links)
- Syntactic control of concurrency (Q817845) (← links)
- The regular-language semantics of second-order idealized ALGOL (Q1884909) (← links)
- An approach to deciding the observational equivalence of Algol-like languages (Q1886322) (← links)
- Games for complexity of second-order call-by-name programs (Q2570133) (← links)
- Block structure vs scope extrusion: between innocence and omniscience (Q2974774) (← links)
- Algorithmic Nominal Game Semantics (Q3000592) (← links)
- A Fragment of ML Decidable by Visibly Pushdown Automata (Q3012916) (← links)