M. García de la Banda, M. Hermenegildo  Home/Search
Context Related
Links: ACM DBLP | unh.edu/pub/csp/ar...globalanal.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: unh.edu (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper presents and illustrates with an example a practical approach to the dataflow analysis of programs written in constraint logic programming (CLP) languages using abstract interpretation. It is first argued that, from the framework point of view, it suffices to propose relatively simple extensions of traditional analysis methods which have already been proved useful and practical and for which efficient fixpoint algorithms have been developed. This is shown by proposing a simple but... (Update)
Context of citations to this paper: More
.... level instructions of MAM 7 The impact of abstract interpretation Based on the information revealed by the analyzers developed in [10, 9] we can, in certain cases, determine at compile time whether a variable is always new or not. The measurements in Figure 9 show the impact of...
...asymptotic) speedups for CLP( Lin ) programs. Much research has been devoted to abstract interpretation of CLP( Lin ) e.g. [6, 7, 14, 16, 19]) but almost no experimental results have appeared to quantify the possible benefits. The only exception we are aware of is the system...
Cited by: More
A Symbolic Constraint Solving Framework for Analysis .. - Ramakrishnan.. (1994) (Correct)
A Generic Algorithm for CLP Analysis - Nevin Heintze School (1995) (Correct)
Source to Source Optimizations of CLP(R Lin ) - Ramachandran, Van Hentenryck (1995) (Correct)
Similar documents (at the sentence level):
6.5%: Global Analysis of Constraint Logic Programs - Banda, Hermenegildo.. (1996) (Correct)
Active bibliography (related documents): More All
0.5: Efficient and Precise Sharing Domains for Logic Programs - Fecht (Correct)
0.4: Abstract Interpretation of Linear Logic Programming - Andreoli, Castagnetti.. (1993) (Correct)
0.3: Appears in New Generation Computing, 15(4), 1997 - Static Analysis Of (1996) (Correct)
Similar documents based on text: More All
0.3: Exploiting Goal Independence In The Analysis Of Logic.. - Codish, Bruynooghe.. (1997) (Correct)
0.3: In Proc. of International Logic Programming Symposium '94 - Effectiveness Of Global (Correct)
0.2: Incremental Analysis of Constraint Logic Programs - Hermenegildo, Puebla.. (2000) (Correct)
Related documents from co-citation: More All
8: Constraint Logic Programming (context) - Jaffar, Lassez - 1987
6: Abstract interpretation: a unified lattice model for static analysis of programs.. (context) - Cousot, Cousot - 1977
5: Analysis of constraint logic programs (context) - Marriott, Sondergaard
BibTeX entry: (Update)
M. Garcia de la Banda and M. Hermenegildo. A Practical Approach to the Global Analysis of CLP Programs. In D. Miller, editor, Proceedings of the 1993 International Logic Programming Symposium, pages 437--455. MIT Press, October 1993. http://citeseer.ist.psu.edu/delabanda93practical.html More
@inproceedings{ banda93practical,
author = "Maria J. Garcia de la Banda and Manuel V. Hermenegildo",
title = "A Practical Approach to the Global Analysis of {CLP} Programs",
booktitle = "International Logic Programming Symposium",
pages = "437-455",
year = "1993",
url = "citeseer.ist.psu.edu/delabanda93practical.html" }
Citations (may not include all citations):815 Abstract Interpretation: A Unified Lattice Model for Static .. (context) - Cousot, Cousot - 1977 DBLP
561 Constraint Logic Programming (context) - Jaffar, Lassez - 1987 ACM DBLP
108 A Practical Framework for the Abstract Interpretation of Log.. (context) - Bruynooghe - 1991 ACM DBLP
105 Compile-time Derivation of Variable Dependency Using Abstrac.. - Muthukumar, Hermenegildo - 1992 ACM DBLP
89 Deriving Descriptions of Possible Values of Program Variable.. (context) - Janssens, Bruynooghe - 1992 ACM DBLP
79 Static Inference of Modes and Data Dependencies in Logic Pro.. - Debray - 1989
54 Experimental Evaluation of a Generic Abstract Interpretation.. (context) - Le Charlier, Van Hentenryck - 1992 ACM DBLP
48 Abstract Interpretation of Prolog Programs (context) - Mellish - 1986 ACM DBLP
41 Analysis of Constraint Logic Programs (context) - Marriott, Sondergaard - 1990 ACM DBLP
34 the Practicality of Global Flow Analysis of Logic Programs (context) - Warren, Hermenegildo et al. - 1988
20 Semantics-based dataflow analysis of logic programs (context) - Marriott, Sondergaard - 1989 DBLP
19 The Benefits of Global Dataflow Analysis for an Optimizing P.. (context) - Van Roy, Despain - 1990 ACM DBLP
15 Analysis of Nonlinear Constraints in CLP (context) - Hanus - 1993
11 Abstractions and Constraints in Logic Programs (context) - Codognet, Fil'e - 1992
10 Special Issue: Abstract Interpretation (context) - Debray, of et al. - 1992
10 Freeness Analysis in the Presence of Numerical Constraints - Dumortier, Janssens et al. - 1993 ACM DBLP
3 Towards a framework for the abstract interpretation of const.. (context) - Bruynooghe, Janssens - 1992
2 the Implementation of Abstract Interpretation Systems (context) - Janssens, Simoens - 1993
1 Combining a Definiteness and a Freeness Abstraction for CLP .. (context) - Dumortier, Janssens et al. - 1993
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.cs.unh.edu.html): More
Csim - a Simple HP48 Circuit Simulator for Educational Purposes - Stenius (1992) (Correct)
Solving Geometric Constraint Systems - Kramer (1990) (Correct)
A Theorem-Proving Approach to Jobshop Scheduling - Toni (1994) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC