A. V. Aho, R. Sethi, and J. D. Ullman, Compilers, Principles Techniques and Tools, 1986.

F. Bancilhon, D. Maier, Y. Sagiv, and J. Ullman, 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.

C. Beeri and R. Ramakrishnan, On the Power of Magic, The Journal of Logic Programming, vol.10, issue.3 & 4, pp.255-300, 1991.

R. E. Bryant, Graph-Based Algorithms for Boolean Function Manipulation, IEEE Transactions on Computers, vol.35, issue.8, pp.677-691, 1986.

M. Codish, Efficient Goal Directed Bottom-Up Evaluation of Logic Programs, Journal of Logic Programming, vol.38, issue.3, pp.355-370, 1999.

M. Codish, D. Dams, and E. Yardeni, Bottom-up Abstract Interpretation of Logic Programs, Journal of Theoretical Computer Science, vol.124, pp.93-125, 1994.

P. Cousot and R. Cousot, 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.

H. Lhoták and L. Hendren, Scaling Java Points-to Analysis using Spark, Proc. of Compiler Construction, vol.2622, pp.153-169, 2003.

T. Lindholm and F. Yellin, The Java TM Virtual Machine Specification, 1999.

M. Méndez, J. Navas, and M. V. Hermenegildo, An Efficient, Parametric Fixpoint Algorithm for Incremental Analysis of Java Bytecode, Proc. of the second workshop on Bytecode Semantics, Verification, Analysis and Transformation, 2007.

I. Pollet, B. L. Charlier, and A. Cortesi, Distinctness and Sharing Domains for Static Analysis of Java Programs, 15th European Conference on Object-Oriented Programming, vol.2072, pp.77-98, 2001.

S. Rossignoli and F. Spoto, Detecting Non-Cyclicity by Abstract Compilation into Boolean Functions, Proc. of Verification, Model Checking and Abstract Interpretation, vol.3855, pp.95-110, 2006.

A. Sabelfeld and A. C. Myers, Language-based Information-Flow Security, IEEE Journal on Selected Areas in Communications, vol.21, issue.1, pp.5-19, 2003.

S. Secci and F. Spoto, Pair-Sharing Analysis of Object-Oriented Programs, Proc. of Static Analysis Symposium (SAS), vol.3672, pp.320-335, 2005.

F. Spoto, The julia Static Analyser. profs.sci.univr.it/?spoto/julia, 2007.

F. Spoto, P. M. Hill, and E. Payet, Path-Length Analysis for Object-Oriented Programs, Proc. of Emerging Applications of Abstract Interpretation, 2006.
URL : https://hal.archives-ouvertes.fr/hal-01915777

A. Tarski, A Lattice-theoretical Fixpoint Theorem and its Applications, Pacific J. Math, vol.5, pp.285-309, 1955.

G. Winskel, The Formal Semantics of Programming Languages, 1993.