Ranking Abstractions
From MaRDI portal
Publication:5458393
DOI10.1007/978-3-540-78739-6_13zbMath1133.68317OpenAlexW2914979212MaRDI QIDQ5458393
Hongseok Yang, Mooly Sagiv, Aziem Chawdhary, Sumit Gulwani, Byron Cook
Publication date: 11 April 2008
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-78739-6_13
Related Items (8)
Convergence: integrating termination and abort-freedom ⋮ Abstract Interpretation with Applications to Timing Validation ⋮ A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis ⋮ Loop Summarization and Termination Analysis ⋮ Loop summarization using state and transition invariants ⋮ Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants ⋮ A Term Rewriting Approach to the Automated Termination Analysis of Imperative Programs ⋮ Proving Termination of Integer Term Rewriting
This page was built for publication: Ranking Abstractions