Analysis of logic-based systems

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


Model based analyses of definite logic programs are discussed in detail. A model of a program captures its properties. Analyzing different models one obtains a flexible approach for verification and optimization of logic-based systems. A uniform implementation of the core algorithms, which exploits deductive database technology, is investigated. In particular, novel algorithms for generating large models and for extracting properties from models are presented.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Arni,N., Ong,S., Tsur,S., Zaniolo,C., LDL++: A Second Generation Deductive Database System, Technical Report, MCC Corporation, 1993.Google Scholar
  2. 2.
    Bossi, A., Gabbrielli, M., Levi, G., Martelli, M., The s-semantics Approach: Theory and Applications, J. Logic Programming, 19–20(1994), 149–197.Google Scholar
  3. 3.
    Boulanger,D., Complete Analysis for Definite Logic Programs, Proc. 11th Workshop Logische Programmierung, Technishe Universität Wien, GMD-Studien Nr.270, 1995, 101–110.Google Scholar
  4. 4.
    Boulanger,D., Bruynooghe,M., Index-Driven Semantics of Logic Programs, Technical Report CW211, K.U. Leuven, May,1995.Google Scholar
  5. 5.
    Boulanger, D., Bruynooghe, M., A Systematic Construction of Abstract Domains, Proc. 1st International Static Analysis Symposium, LNCS Vol. 864, 1994, 61–77.Google Scholar
  6. 6.
    Boulanger, D., Bruynooghe, M., Denecker, M., Abstracting s-semantics Using A Model-Theoretic Approach, Proc. 6th Int. Symp. on PLILP, LNCS Vol. 844, 1994, 432–446.Google Scholar
  7. 7.
    Bry,F., Manthey,R., Proving Finite Satisfiability of Deductive Databases, Proc. Conference Logic and Computer Science, 1987, Karlsruhe, LNCS, 1987.Google Scholar
  8. 8.
    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, 1988.Google Scholar
  9. 9.
    Codish, M., Demoen, B., Analyzing logic programs using “Prop”-ositional logic programs and a magic wand, J. Logic Programming, 25(1995), 249–274.Google Scholar
  10. 10.
    Cousot, P., Cousot, R., Abstract Interpretation and Application to Logic Programs, J. Logic Programming, 13(1992), 103–179.Google Scholar
  11. 11.
    Filé,G., Ranzato,F., Improving Abstract Interpretations by Systematic Lifting to the Powerset, Proc. 1994 ISLP, 1994, 655–669.Google Scholar
  12. 12.
    Gallagher,J., Boulanger,D., Saglam,H., Practical Model-Based Static Analysis for Definite Logic Programs, Proc. 1995 ISLP, 1995, 351–365.Google Scholar
  13. 13.
    Giacobazzi, R., Debray, S., Levi, G., Generalized Semantics and Abstract Interpretation for Constraint Logic Programs, J. Logic Programming, 25(1995), 191–245.Google Scholar
  14. 14.
    Goguen, J., Thatcher, E., Waggner, E., Wright, J., Initial Algebra Semantics and Continuous Algebras, J. ACM, 24(1977), 68–95.Google Scholar
  15. 15.
    Lassez,J.-L., Maher,M., Marriott,K., Unification Revisited, Foundations of Deductive Databases and Logic Programming, Morgan-Kaufmann, 1988, 587–625.Google Scholar
  16. 16.
    Lloyd,J., Foundations of Logic Programming, Springer, 1987.Google Scholar
  17. 17.
    Maher, M., Equivalence of Logic Programs, Foundations of Deductive Databases and Logic Programming, Morgan-Kaufmann, 1988, 627–658.Google Scholar
  18. 18.
    Marriott, K., Søndergaard, H., Precise and Efficient Groundness Analysis for Logic Programs, ACM Letters on Programming Languages, 2(1993), 181–196.Google Scholar
  19. 19.
    Mezei, J., Wright, J., Algebraic Automata and Context-Free Sets, Information and Control, 11(1967), 3–29.Google Scholar
  20. 20.
    Wirsing,W., Algebraic Specifications, in: Handbook of Theoretical Computer Science, Vol. B Formal Models and Semantics, North Holland, 1990, 678–778.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Dmitri Boulanger
    • 1
  1. 1.CNUCE Istituto del CNRPisaItaly

Personalised recommendations