Tableau Recycling
Abstract elided by the publisher.
Related papers
- Optimal Tableau Algorithms for Coalgebraic Logics TACAS 2010
- Efficient Model Checking Via Büchi Tableau Automata CAV 2001
- Abstract Reduction Using a Tableau Calculus SAS 1995
- A Tableau System for Linear-TIME Temporal Logic TACAS 1997
- An Improved On-The-Fly Tableau Construction for a Real-Time Temporal Logic CAV 2003
- Reuse, Recycle to De-bloat Software ECOOP 2011
- Qubit Recycling Revisited PLDI 2024
- POSTER: Reuse, don't Recycle: Transforming Algorithms that Throw Away Descriptors PPoPP 2017