Is There a Best Symbolic Cycle-Detection Algorithm?
No abstract available.
Related papers
- Parallel inclusion-based points-to analysis OOPSLA 2010
- Iterative-Epoch Online Cycle Elimination for Context-Free Language Reachability OOPSLA 2024
- Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata TACAS 2021
- Deadlock avoidance in parallel programs with futures: why parallel tasks should not wait for strangers OOPSLA 2017
- A reference-counting garbage collection algorithmfor cyclical functional programming ISMM 2008
- Wait-Free Weak Reference Counting ISMM 2023
- An efficient on-the-fly cycle collection TOPLAS 2007
- I/O Efficient Accepting Cycle Detection CAV 2007