Branching vs. Linear Time: Final Showdown
Abstract elided by the publisher.
Related papers
- Software Pipelining Showdown: Optimal vs. Heuristic Methods in a Production Compiler PLDI 1996
- Branching Time Regular Temporal Logic for Model Checking with Linear Time Complexity CAV 1990
- An Abstract Interpretation Perspective on Linear vs. Branching Time APLAS 2005
- Offset Assignment Showdown: Evaluation of DSP Address Code Optimization Algorithms CC 2003
- A Game for Linear-time-Branching-time Spectroscopy TACAS 2021
- "Sometimes" and "Not Never" Revisited: On Branching Versus Linear Time POPL 1983
- Adventures in monitorability: from branching to linear time and back again POPL 2019
- Jump Minimization in Linear Time TOPLAS 1984