Stan: A static analyzer for CLP({ie383-01}) based on abstract interpretation

  • Maria Handjieva
System Descriptions
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1145)


Stan is an implementation of a static analysis for CLP ({ie383-02}) based on abstract interpretation. The semantics of the program is achieved using unfolding operator. The abstract domain is a space of convex polyhedra. Three types of program analysis are implemented — backward, forward and combined.The results of the analysis can be used in program optimization. The implementation is complemented by a graphic user interface.


  1. 1.
    N.V. Chernikova, Algorithm for discovering the set of all the solutions of a linear programming problem. U.S.S.R. Computation Mathematics and Mathematical Physics, 8(6):282–293, 1968Google Scholar
  2. 2.
    P. Cousot and R. Cousot, Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Proceedings Fourth Annual ACM Symposium on Principles of Programming Languages, 238–252, Los Angeles, California, 1977Google Scholar
  3. 3.
    P. Cousot and R. Cousot, Abstract Interpretation and Application to Logic Programs. Journal of Logic Programming, special issue on Abstract Interpretation, June 1992Google Scholar
  4. 4.
    P. Cousot and N. Halbwachs, Automatic discovery of Linear Restraints among Variables of a Program. Fifth Annual ACM Symposium on Principles of Programming Languages, 84–96, 1978Google Scholar
  5. 5.
    M. Handjieva, Abstract Interpretation of Constraint Logic Programs over Numeric Domains, URL Google Scholar
  6. 6.
    R. Giacobazzi, Semantic aspects of Logic Program Analysis. Ph.D. Dissertation, Università di Pisa, March 1993Google Scholar
  7. 7.
    J. Jaffar and J.-L. Lassez, Constraint Logic Programming. In Fourteenth Annual ACM Symposium on Principles of Programming Languages, 111–119, San Francisco, California, 1987Google Scholar
  8. 8.
    J. Jaffar, S. Michaylov, P. Stuckey and R. Yap, The CLP({ie384-01}) Language and System. ACM Transaction on Programming Languages and Systems, 14(3):339–395, July 1992Google Scholar
  9. 9.
    C. StJohn, Implementation of a static analysis for deriving linear size relations in Prolog programs, Technical Report, LIX, Ecole Polytechnique, France, 1993Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Maria Handjieva
    • 1
  1. 1.Ecole PolytechniqueLIXPalaiseau CedexFrance

Personalised recommendations