Pages that link to "Item:Q5705875"
From MaRDI portal
The following pages link to Foundations of Software Science and Computational Structures (Q5705875):
Displaying 10 items.
- Functions with local state: regularity and undecidability (Q557802) (← links)
- Verifying annotated program families using symbolic game semantics (Q1680558) (← links)
- An approach to deciding the observational equivalence of Algol-like languages (Q1886322) (← links)
- Third-order Idealized Algol with iteration is decidable (Q2474055) (← links)
- A game semantics of names and pointers (Q2474444) (← links)
- Decidability and syntactic control of interference (Q2481977) (← links)
- Game semantics for access control (Q2805155) (← links)
- Contextual Approximation and Higher-Order Procedures (Q2811338) (← links)
- A Fragment of ML Decidable by Visibly Pushdown Automata (Q3012916) (← links)
- Automata, Languages and Programming (Q5716839) (← links)