Detecting Non-cyclicity by Abstract Compilation into Boolean Functions
Abstract elided by the publisher.
Related papers
- Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation TACAS 2022
- Detecting and eliminating memory leaks using cyclic memory allocation ISMM 2007
- Scalable error detection using boolean satisfiability POPL 2005
- Semantic subtyping with an SMT solver JFP 2012
- Saturn: A scalable framework for error detection using Boolean satisfiability TOPLAS 2007
- A reference-counting garbage collection algorithmfor cyclical functional programming ISMM 2008
- Counterexample Guided Knowledge Compilation for Boolean Functional Synthesis CAV 2023
- Complete the Cycle: Reachability Types with Expressive Cyclic References OOPSLA 2025