Manuel Hermenegildo, German Puebla, Kim Marriott, Peter J. Stuckey  Home/Search
Context Related
| cs.mu.oz.au/~pjs/pap...toplas2000.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: cs.mu.oz.au/~pjs/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Interpretation Abstract interpretation [Cousot and Cousot 1977] is a technique for static program analysis in which execution of the program is simulated on a description (or abstract) domain (D) which is simpler than the actual (or concrete) domain (C). Values in the description domain and sets of values in the actual domain are related via a pair of monotonic mappings h ; i: abstraction : C ! D and concretization : D! C which form a Galois connection. A description d 2 D approximates an... (Update)
Context of citations to this paper: More
...dependent, bottom up evaluation is presented. Simple optimisations can signi cantly impact on performance. In particular, as noted in [18], evaluations resulting from new calls should be performed before those resulting from new answers, and a call to solve for one rule should...
Cited by: More
A Model for Inter-module Analysis and Optimizing.. - Bueno, Banda.. (2000) (Correct)
A Generic Framework for Context-Sensitive Analysis .. - Puebla, Correas.. (Correct)
Some Techniques for Automated, Resource-Aware.. - Hermenegildo.. (Correct)
Similar documents (at the sentence level):
8.7%: Incremental Analysis of Logic Programs - Hermenegildo, Puebla (1995) (Correct)
Similar documents based on text: More All
1.0: Incremental Analysis of Constraint Logic Programs - Hermenegildo, Puebla.. (1999) (Correct)
0.7: Flexible Graph Layout for the Web - Hansen, Marriott, Meyer, Stuckey (2001) (Correct)
0.4: A Model for Inter-module Analysis and - Optimizing Compilation Francisco (Correct)
Related documents from co-citation: More All
6: Compile-time derivation of variable dependency using abstract interpretation - Muthukumar, Hermenegildo - 1992
3: An Assertion Language for Constraint Logic Programs - Puebla, Bueno et al. - 2000
3: Global Analysis of Standard Prolog Programs - Bueno, Cabeza et al. - 1996
BibTeX entry: (Update)
M. Hermenegildo, G. Puebla, K. Marriott, and P. Stuckey. Incremental Analysis of Constraint Logic Programs. ACM Transactions on Programming Languages and Systems, 22(2):187-223, March 2000. http://citeseer.ist.psu.edu/article/hermenegildo00incremental.html More
@article{ hermenegildo00incremental,
author = "Manuel Hermenegildo and German Puebla and Kim Marriott and Peter J. Stuckey",
title = "Incremental analysis of constraint logic programs",
journal = "ACM Transactions on Programming Languages and Systems",
volume = "22",
number = "2",
pages = "187--223",
year = "2000",
url = "citeseer.ist.psu.edu/article/hermenegildo00incremental.html" }
Citations (may not include all citations):1 Journal of Logic Programming (context) - Debray, Ed - 1992
1 Incremental global compilation of Prolog with the Vienna abs.. (context) - Hermenegildo, Berger
Documents on the same site (http://www.cs.mu.oz.au/~pjs/papers.html): More
A Unit Two Variable Per Inequality Integer Constraint Solver.. - Harvey, Stuckey (1997) (Correct)
A Lagrangian reconstruction of GENET - Choi (2000) (Correct)
Differential Methods in Logic Program Analysis - Banda, Marriott, Stuckey.. (1996) (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