, Compilers, Principles Techniques and Tools, 1986.
Magic Sets and Other Strange Ways to Implement Logic Programs, Proc. of the 5th ACM Symposium on Principles of Database Systems, pp.1-15, 1986. ,
On the Power of Magic, The Journal of Logic Programming, vol.10, issue.3 & 4, pp.255-300, 1991. ,
Graph-Based Algorithms for Boolean Function Manipulation, IEEE Transactions on Computers, vol.35, issue.8, pp.677-691, 1986. ,
Efficient Goal Directed Bottom-Up Evaluation of Logic Programs, Journal of Logic Programming, vol.38, issue.3, pp.355-370, 1999. ,
Bottom-up Abstract Interpretation of Logic Programs, Journal of Theoretical Computer Science, vol.124, pp.93-125, 1994. ,
Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints, Proc. of the 4th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'77), pp.238-252, 1977. ,
Scaling Java Points-to Analysis using Spark, Proc. of Compiler Construction, vol.2622, pp.153-169, 2003. ,
The Java TM Virtual Machine Specification, 1999. ,
An Efficient, Parametric Fixpoint Algorithm for Incremental Analysis of Java Bytecode, Proc. of the second workshop on Bytecode Semantics, Verification, Analysis and Transformation, 2007. ,
Distinctness and Sharing Domains for Static Analysis of Java Programs, 15th European Conference on Object-Oriented Programming, vol.2072, pp.77-98, 2001. ,
Detecting Non-Cyclicity by Abstract Compilation into Boolean Functions, Proc. of Verification, Model Checking and Abstract Interpretation, vol.3855, pp.95-110, 2006. ,
Language-based Information-Flow Security, IEEE Journal on Selected Areas in Communications, vol.21, issue.1, pp.5-19, 2003. ,
Pair-Sharing Analysis of Object-Oriented Programs, Proc. of Static Analysis Symposium (SAS), vol.3672, pp.320-335, 2005. ,
The julia Static Analyser. profs.sci.univr.it/?spoto/julia, 2007. ,
Path-Length Analysis for Object-Oriented Programs, Proc. of Emerging Applications of Abstract Interpretation, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-01915777
A Lattice-theoretical Fixpoint Theorem and its Applications, Pacific J. Math, vol.5, pp.285-309, 1955. ,
The Formal Semantics of Programming Languages, 1993. ,