Abstract Interpretation and the PPL: From Theory to Practice and Vice Versa

Enea Zaffanella - Dipartimento di Matematica, Parma
Date and time
Tuesday, September 21, 2004 at 5:00 PM
Ca' Vignal - Piramide, Floor 0, Hall Verde
Programme Director
Nicola Fausto Spoto
External reference
Publication date
September 6, 2004


Abstract Interpretation is a mature research field, with many applications and a current research trend focusing on the reduction of the existing gap between theory and practice. The Parma PolyhedraLibrary is acknowledged to be a useful and rather efficient software tool upon which further research work on static analysis and abstract interpretation can be reliably based. In this talk we will present the history of the library, briefly describing the new results that have been obtained by letting the theory of AI meet the practice of good design and implementation methodologies. We will conclude by outlining the future development of the library.

© 2002 - 2021  Verona University
Via dell'Artigliere 8, 37129 Verona  |  P. I.V.A. 01541040232  |  C. FISCALE 93009870234