Verification of Higher-Order Computation: A Game-Semantic Approach
No abstract available.
Related papers
- Types and higher-order recursion schemes for verification of higher-order programs POPL 2009
- The Geometry of Causality: Multi-token Geometry of Interaction and Its Causal Unfolding POPL 2023
- The impact of higher-order state and control effects on local relational reasoning ICFP 2010
- Game semantics for quantum programming POPL 2019
- Complete trace models of state and control ESOP 2021
- From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques TACAS 2022
- The impact of higher-order state and control effects on local relational reasoning JFP 2012
- Constructive Game Logic ESOP 2020