Pages that link to "Item:Q1884909"
From MaRDI portal
The following pages link to The regular-language semantics of second-order idealized ALGOL (Q1884909):
Displaying 17 items.
- Program verification using symbolic game semantics (Q477213) (← links)
- Functions with local state: regularity and undecidability (Q557802) (← links)
- A calculus of coroutines (Q817847) (← links)
- Verifying annotated program families using symbolic game semantics (Q1680558) (← links)
- Weighted models for higher-order computation (Q2216134) (← links)
- Latent semantic analysis of game models using LSTM (Q2423769) (← 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)
- Definability and Full Abstraction (Q2864154) (← links)
- From Qualitative to Quantitative Semantics (Q2988359) (← links)
- A Fragment of ML Decidable by Visibly Pushdown Automata (Q3012916) (← links)
- Geometry of Synthesis II: From Games to Delay-Insensitive Circuits (Q3178261) (← links)
- (Q3384159) (← links)
- Compositional Predicate Abstraction from Game Semantics (Q3617753) (← links)
- On-the-Fly Techniques for Game-Based Software Model Checking (Q5458322) (← links)
- Disentangling parallelism and interference in game semantics (Q6635506) (← links)
