An Improvement of McMillan's Unfolding Algorithm
Abstract elided by the publisher.
Related papers
- Swift Unfolding of Communities: GPU-Accelerated Louvain Algorithm PPoPP 2025
- Total Correctness by Local Improvement in Program Transformation POPL 1995
- Parallelisation of the Petri Net Unfolding Algorithm TACAS 2002
- Total Correctness by Local Improvement in the Transformation of Functional Programs TOPLAS 1996
- The Under-Appreciated Unfold ICFP 1998
- Abstract Interpretation with Unfoldings CAV 2017
- Unfolding pointer algorithms JFP 2001
- Language-integrated privacy-aware distributed queries OOPSLA 2019