Alternation for Termination
No abstract available.
Related papers
- KoAT: Automatic Complexity and Termination Analysis of Integer Programs CAV 2026
- SMT-Based Active Learning of Weighted Automata CAV 2026
- Modeling Reachability Types with Logical Relations: Semantic Type Soundness, Termination, Effect Safety, and Equational Theory OOPSLA 2025
- Step-Indexed Logical Relations for Countable Nondeterminism and Probabilistic Choice POPL 2023
- Symmetric Intertask Communication TOPLAS 1985
- Typed syntactic meta-programming ICFP 2013
- Regular expression pattern matching for XML JFP 2003
- Regular expression pattern matching for XML POPL 2001