From Shape Analysis to Termination Analysis in Linear Time
Abstract elided by the publisher.
Related papers
- A Shape Analysis for Non-linear Data Structures SAS 2010
- Points-to Analysis in Almost Linear Time POPL 1996
- Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs POPL 2016
- Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs TOPLAS 2018
- Symbiotic 7: Integration of Predator and More - (Competition Contribution) TACAS 2020
- 2LS: Memory Safety and Non-termination - (Competition Contribution) TACAS 2018
- Termination Analysis of Probabilistic Programs Through Positivstellensatz's CAV 2016
- Compositional shape analysis by means of bi-abduction POPL 2009