An Abstract Interpretation Perspective on Linear vs. Branching Time
Abstract elided by the publisher.
Related papers
- A Game for Linear-time-Branching-time Spectroscopy TACAS 2021
- Precise interprocedural analysis through linear algebra POPL 2004
- Abstract Interpretation from a Topological Perspective SAS 2009
- Relating Distances and Abstractions - An Abstract Interpretation Perspective SAS 2025
- Context Threading: A Flexible and Efficient Dispatch Technique for Virtual Machine Interpreters CGO 2005
- Parameterized Algorithms and Complexity for Function Merging with Branch Reordering PLDI 2026
- "Sometime" is Sometimes "Not Never" - On the Temporal Logic of Programs POPL 1980
- Branching vs. Linear Time: Final Showdown TACAS 2001