Automated Generation of a Progress Measure for the Sweep-Line Method
Abstract elided by the publisher.
Related papers
- A Sweep-Line Method for State Space Exploration TACAS 2001
- Obtaining Memory-Efficient Reachability Graph Representations Using the Sweep-Line Method TACAS 2004
- Lattice-theoretic progress measures and coalgebraic model checking POPL 2016
- Mostly Parallel Garbage Collection PLDI 1991
- Very Concurrent Mark-&-Sweep Garbage Collection without Fine-Grain Synchronization ISMM 1998
- Automated feedback generation for introductory programming assignments PLDI 2013
- Dependency-Aware Code Naturalness OOPSLA 2024
- An on-the-fly mark and sweep garbage collector based on sliding views OOPSLA 2003