I/O Efficient Accepting Cycle Detection
Abstract elided by the publisher.
Related papers
- Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata TACAS 2021
- Speeding up the Local C++ Development Cycle with Header Substitution CGO 2025
- Is There a Best Symbolic Cycle-Detection Algorithm? TACAS 2001
- On-the-Fly Reachability and Cycle Detection for Recursive State Machines TACAS 2005
- Efficient Abstract Interpretation via Selective Widening OOPSLA 2025
- Analysis of recursive state machines TOPLAS 2005
- Guaranteeing Non-Disruptiveness and Real-Time Deadlines in an Incremental Garbage Collector ISMM 1998
- SmartTrack: efficient predictive race detection PLDI 2020