Widening Polyhedra with Landmarks

DOI10.1007/11924661_11zbMath1168.68365OpenAlexW1870227415MaRDI QIDQ5385594

Axel Simon, Andy King

Publication date: 6 May 2008

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://kar.kent.ac.uk/37597/1/content.pdf

Mathematics Subject Classification ID

Computational aspects related to convexity (52B55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (6)

Improving the results of program analysis by abstract interpretation beyond the decreasing sequence ⋮ Decoupling the ascending and descending phases in abstract interpretation ⋮ Acceleration of the abstract fixpoint computation in numerical program analysis ⋮ The two variable per inequality abstract domain ⋮ Stratified Static Analysis Based on Variable Dependencies ⋮ Abstract Fixpoint Computations with Numerical Acceleration Methods

This page was built for publication: Widening Polyhedra with Landmarks