Introduzione all'interpretazione astratta

P. Cousot & R. Cousot. Abstract Interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. 4th ACM POPL, 1977

P. Cousot & R. Cousot. Systematic design of program analysis frameworks. 6th ACM POPL, 1979

Inferenza dei tipi via interpretazione astratta

P. Cousot. Types as abstract interpretations. ACM POPL, 1997

R. Gori e G. Levi, An experiment in type inference and verification by abstract interpretation. VMCAI, 2003

R. Gori e G. Levi, Properties of a type abstract interpreter. VMCAI, 2005


Programmazione logica: semantica e analisi

A. Bossi, M. Gabbrielli, G. Levi, M. Martelli, The s-semantics approach: Theory and applications. Journal of Logic Programming, 19-20, 1994

M. Comini, G. Levi, M.C. Meo, A theory of observables for logic programs. Information and Computation, 2000

R. Gori e G. Levi, On the verification of finite failure, JCSS 2005.


Verifica via interpretazione astratta

G. Levi, P. Volpe. Derivation of proof methods by abstract interpretation. PLILP 98, LNCS 1490, 1998.

M. Comini, R. Gori, G. Levi e P. Volpe, Abstract Interpretation based verification of logic programs, Science of Computer Programming  2003


Operatori di raffinamento

G. File, R. Giacobazzi, F. Ranzato. A unifying view on abstract domain design. ACM Computing Surveys 28, 1996.

R. Giacobazzi, F. Scozzari. A logical model for relational abstract domains. ACM TOPLAS 20, 1998.

G. Levi e F. Spoto, Pair-independence and freeness analysis through linear refinement, Information and Computation 2003