Pages that link to "Item:Q5705875"
From MaRDI portal
The following pages link to Foundations of Software Science and Computational Structures (Q5705875):
Displayed 7 items.
- Functions with local state: regularity and undecidability (Q557802) (← links)
- Verifying annotated program families using symbolic game semantics (Q1680558) (← 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)