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