A systematic construction of abstract domains

  • Dmitri Boulanger
  • Maurice Bruynooghe
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 864)


An abstract domain construction technique for static analysis of definite logic programs is presented. A complete family of preinterpretations, induced by equality theories with non-term elements, is used as a family of abstract domains, allowing all possible levels of precision.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Boulanger,D., Bruynooghe,M., Denecker,M., Abstracting s-semantics: A Model-Theoretic Approach, Proc. PLILP'94. (to appear)Google Scholar
  2. 2.
    Bossi,A., Gabrielli,M., Levi,G., Martelli,M., The s-semantics Approach: Theory and Applications, J. Logic Programming, 1994. (to appear)Google Scholar
  3. 3.
    Bruynooghe,M., Boulanger,D., Abstract Interpretation for (Constraint) Logic Programming, in: Constraint Programming, Eds. B.Mayoh, E.Tõugu, J.Penjam, NATO Advanced Sci. Series, Comput. and System Sci., Springer, 1994. (to appear)Google Scholar
  4. 4.
    Bruynooghe,M., Codish,M., Freeness, Sharing, Linearity and Correctness — All at Once, Proc. 3-rd Int. Workshop WSA'93, Springer, 1993.Google Scholar
  5. 5.
    Bry,F., Decker,H., Mathey,R., A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases, Proc. Extended Database Technology 1988, Venice, LNCS, Springer, 1988.Google Scholar
  6. 6.
    Codish,M., Dams,D., File,G., Bruynooghe,M., Freeness Analysis for Logic Programs — And Correctness?, Proc. 10-th Int. Conf. Logic Prog., 1993, 116–131.Google Scholar
  7. 7.
    Codish,M., Mulkers,A., Bruynooghe,M., Garcia de la Banda,M., Hermenegildo,M., Improving Abstract interpretations by Combining Domains, Proc. ACM Symp. on Partial Evaluation and Semantics based Program Manipulation, 1993.Google Scholar
  8. 8.
    Cousot,P., Cousot,R., Systematic Design of Program Analysis Frameworks, Proc. 6-th ACM Symp. Principles Prog. Languages, San Antonio, USA, 1979, 269–282.Google Scholar
  9. 9.
    Codognet,P., File, G., Computations, Abstractions and Constraints in Logic Programs, Proc. 4-th Int. Conf. Programming Languages, Oakland, USA, 1992.Google Scholar
  10. 10.
    Denecker,M., Knowledge Representation and Reasoning in Incomplete Logic Programming, Ph.D. Thesis, Dept. Comp. Science, K.U.Leuven, September, 1993.Google Scholar
  11. 11.
    Eder,E., Properties of Substitutions and Unifications, J. Symbolic Computation, 1985, Vol.1, No.1, 31–46.Google Scholar
  12. 12.
    Giacobazzi,R., Debray,S., Levi,G., Generalised Semantics and Abstract Interpretation for Constraint Logic Programs, J. Logic Programming, 1994. (to appear)Google Scholar
  13. 13.
    Gallagher,J., de Waal,D.A., Fast and Precise Regular Approximations of Logic Programs, Proc. 11-th Int. Conf. Logic Programming, 1994.Google Scholar
  14. 14.
    Goguen,J., Thatcher,E., Waggner,E., Wright,J., Initial Algebra Semantics and Continuous Algebras, J. ACM, 1977, Vol.24, No.1, 68–95.CrossRefGoogle Scholar
  15. 15.
    Janssens,G., Bruynooghe,M., Deriving Descriptions of Possible Values of Program Variables by Means of Abstract Interpretation, J. Logic Programming, 1992, Vol.13, Nos.2–3, 205–258.MathSciNetGoogle Scholar
  16. 16.
    Jacobs,L., Langen,A., Static Analysis of Logic Programs for Independent And-Parallelism, J. Logic Programming, 1992, Vol.13, Nos.2–3, 291–314.CrossRefGoogle Scholar
  17. 17.
    Lassez,J.-L., Maher,M., Mariott,K., Unification Revisited, Foundations of Deductive Databases and Logic Programming, Morgan-Kaufmann, 1988, 587–625.Google Scholar
  18. 18.
    Mac Lane,S., Categories for the Working Mathematician, Springer-Verlag, 1971.Google Scholar
  19. 19.
    Lloyd,L., Foundations of Logic Programming, Springer-Verlag, Berlin, 1987.Google Scholar
  20. 20.
    Martelli,A., Montanari,U., An Efficient Unification Algorithm, Transaction on Programming Languages and Systems, 1982, Vol.2, No.4, 258–282.CrossRefGoogle Scholar
  21. 21.
    Mariott,K. Sondergaard,H., Semantics-based Data Flow Analysis of Logic Programs, Information Processing, April 1989, 601–606.Google Scholar
  22. 22.
    Sondergaard,H., An Application of Abstract Interpretation of Logic Programs: Occur Check Reduction, LNCS, Vol.123, 1986, Springer, 327–338.Google Scholar
  23. 23.
    Shepherdson,J., Language and Equality Theory in Logic Programming, Report No.PM-88-08, School of Mathematics, Bristol, England.Google Scholar
  24. 24.
    Wirsing,W., Algebraic Specifications, in: Handbook of Theoretical Computer Science, North Holland, 1990, 678–778.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  1. 1.Department of Computer ScienceKatholieke Universíteit LeuvenHeverleeBelgium

Personalised recommendations