A Temporal Logic for Higher-Order Functional Programs
Abstract elided by the publisher.
Related papers
- Algebraic Temporal Effects: Temporal Verification of Recursively Typed Higher-Order Programs POPL 2025
- Propositional Dynamic Logic for Higher-Order Functional Programs CAV 2018
- Higher-Order Program Verification via HFL Model Checking ESOP 2018
- Temporal higher-order contracts ICFP 2011
- HFL(Z) Validity Checking for Automated Program Verification POPL 2023
- Temporal verification of higher-order functional programs POPL 2016
- Temporal Refinements for Guarded Recursive Types ESOP 2021
- Probabilistic Functions and Cryptographic Oracles in Higher Order Logic ESOP 2016