Efficient Analysis of Cyclic Definitions
Abstract elided by the publisher.
Related papers
- Completeness of Cyclic Proofs for Symbolic Heaps with Inductive Definitions APLAS 2019
- Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation TACAS 2022
- Correctness of Isabelle's Cyclicity Checker: Implementability of Overloading in Proof Assistants CPP 2015
- A practical mode system for recursive definitions POPL 2021
- CycleQ: an efficient basis for cyclic equational reasoning PLDI 2022
- Boosting Parallel Parsing through Cyclic Operator Precedence Grammars SLE 2025
- Is it a Tree, a DAG, or a Cyclic Graph? A Shape Analysis for Heap-Directed Pointers in C POPL 1996
- Reachability analysis of program variables TOPLAS 2013