The Arithmetic-Geometric Progression Abstract Domain

Feret, Jérôme·2005·Lecture Notes in Computer Science
DOI 10.1007/978-3-540-30579-8_3