Algorithmic Game Semantics and Static Analysis
No abstract available.
Related papers
- Slot games: a quantitative model of computation POPL 2005
- From Hilbert space to Dilbert space: context semantics as a language for games and flow analysis ICFP 2003
- Algorithmic Nominal Game Semantics ESOP 2011
- Full abstraction for the quantum lambda-calculus POPL 2020
- Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games VMCAI 2017
- Locality aware dynamic load management for massively multiplayer games PPoPP 2005
- Solving systems of rational equations through strategy iteration TOPLAS 2011
- Fixpoint games on continuous lattices POPL 2019