STAN: A static analyzer for CLP(R) based on abstract interpretation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1145, Issue , 1996, Pages 383-384

  Handjieva, Maria ^a  

^a ECOLE POLYTECHNIQUE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; MODEL CHECKING; SEMANTICS; USER INTERFACES;

ABSTRACT DOMAINS; ABSTRACT INTERPRETATIONS; CONVEX POLYHEDRONS; GRAPHIC USER INTERFACE; PROGRAM ANALYSIS; PROGRAM OPTIMIZATION; STATIC ANALYZERS;

STATIC ANALYSIS;

EID: 84957360928     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61739-6_54     Document Type: Conference Paper

References (9)

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, 1968
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, 1977
3. P. Cousot and R. Cousot, Abstract Interpretation and Application to Logic Programs. Journal of Logic Programming, special issue on Abstract Interpretation, June 1992
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, 1978
5. M. Handjieva, Abstract Interpretation of Constraint Logic Programs over Numeric Domains, URL http://lix.polytechnique.fr/~handjiev/HANDJIEVpapers.html
6. R. Giacobazzi, Semantic aspects of Logic Program Analysis. Ph.D. Dissertation, Università di Pisa, March 1993
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, 1987
8. J. Jaffar, S. Michaylov, P. Stuckey and R. Yap, The CLP (TV) Language and System. ACM Transaction on Programming Languages and Systems, 14(3):339-395, July 1992
9. C. StJohn, Implementation of a static analysis for deriving linear size relations in Prolog programs, Technical Report, LIX, Ecole Polytechnique, France, 1993