Widening Polyhedra with Landmarks
From MaRDI portal
Publication:5385594
DOI10.1007/11924661_11zbMath1168.68365MaRDI QIDQ5385594
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
52B55: Computational aspects related to convexity
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Stratified Static Analysis Based on Variable Dependencies, 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, Improving the results of program analysis by abstract interpretation beyond the decreasing sequence, Abstract Fixpoint Computations with Numerical Acceleration Methods