STAN: A Static Analyzer for CLP(R) Based on Abstract Interpretation (0)
| Venue: | In SAS'96: Static Analysis Symp |
| Citations: | 4 - 0 self |
BibTeX
@INPROCEEDINGS{Handjieva_stan:a,
author = {Maria Handjieva},
title = {STAN: A Static Analyzer for CLP(R) Based on Abstract Interpretation},
booktitle = {In SAS'96: Static Analysis Symp},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Interpretation Maria Handjieva LIX, Ecole Polytechnique 91128 Palaiseau Cedex, France email: handjiev@lix.polytechnique.fr Abstract. Stan is an implementation of a static analysis for CLP(R) 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 Theoretical basis The basis of the implementation is drawn from the following principal ideas. The CLP Scheme is a family of rule-based constraint programming languages firstly defined in [7]. The instance of this scheme we are interested in, is the CLP(R) language [8]. Stan is a CLP(R) static analyzer based on abstract interpretation [2, 3]. The core of the concrete semantics is the unfolding operator [6]. The main advantage of using thi...
Citations
| 1635 | Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints - Cousot, Cousot - 1977 |
| 742 | Constraint logic programming - JAFFAR, LASSEZ - 1987 |
| 470 | Automatic discovery of linear restraints among the variables of a program - COUSOT, HALBWACHS - 1978 |
| 274 | The CLP(R) Language and System - ar, Michaylow, et al. - 1992 |
| 263 | R.: Abstract interpretation and application to logic programs - Cousot, Cousot - 1992 |
| 27 | Algorithm for discovering the set of all solutions of a linear programming problem - Chernikova - 1968 |
| 12 | Semantic Aspects of Logic Program Analysis. Ph.D. thesis, Dipartimento di Informatica, Universitá di Pisa. 17 - Giacobazzi - 1993 |
| 4 | Abstract interpretation of constraint logic programs using convex polyhedra - Handjieva - 1996 |
| 1 | Implementation of a static analysis for deriving linear size relations - StJohn |
