Roberto Bagnara  Home/Search
Context Related
| cs.unipr.it/~bagnara/Papers...SCP98.pdf 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.unipr.it/~bagnara/Pa...linkall (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Many interesting analyses for constraint logic-based languages are aimed at the detection of monotonic properties, that is to say, properties that are preserved as the computation progresses. Our basic claim is that most, if not all, of these analyses can be described within a unified notion of constraint domains. We present a class of constraint systems that allows for a smooth integration within an appropriate framework for the definition of non-standard semantics of constraint logic-based... (Update)
Cited by: More
Widening Operators for Powerset Domains - Bagnara, Hill, Zaffanella (2004) (Correct)
Efficient Structural Information Analysis for Real CLP.. - Bagnara, Hill, Zaffanella (1955) (Correct)
Similar documents (at the sentence level):
57.4%: A hierarchy of Constraint Systems for Data-Flow Analysis of.. - Bagnara (1996) (Correct)
9.5%: Constraint Systems for Pattern Analysis of Constraint Logic-Based .. - Bagnara (1995) (Correct)
Active bibliography (related documents): More All
0.5: Generalized Semantics And Abstract Interpretation for . . . - Giacobazzi, al. (1995) (Correct)
0.4: Generalized Semantics And Abstract Interpretation For.. - Giacobazzi, Debray, Levi (1995) (Correct)
0.3: On the Detection of Implicit and Redundant Numeric Constraints in .. - Bagnara (1994) (Correct)
Similar documents based on text: More All
0.1: Application of Aboutness to Functional Benchmarking in.. - Song, Bruza, Wong, Cheng (1998) (Correct)
0.1: cc-Golog: Towards More Realistic Logic-Based Robot Controllers - Grosskreutz, Lakemeyer (2000) (Correct)
0.1: Supporting Transaction Design in IS Conceptual Modelling.. - Pastor-Collado (1995) (Correct)
Related documents from co-citation: More All
11: Combinations of abstract domains for logic programming - Cortesi, Le Charlier et al. - 1994
8: Abstract interpretation frameworks (context) - Cousot, Cousot - 1992
7: Abstract interpretation: a unified lattice model for static analysis of programs.. (context) - Cousot, Cousot - 1977
BibTeX entry: (Update)
R. Bagnara. A hierarchy of constraint systems for data-flow analysis of constraint logic-based languages. Sci. Comput. Program., 1997. To appear. http://citeseer.ist.psu.edu/article/bagnara99hierarchy.html More
@article{ bagnara98hierarchy,
author = "Roberto Bagnara",
title = "A Hierarchy of Constraint Systems for Data-Flow Analysis of Constraint Logic-Based Languages",
journal = "Science of Computer Programming",
volume = "30",
number = "1-2",
pages = "119-155",
year = "1998",
url = "citeseer.ist.psu.edu/article/bagnara99hierarchy.html" }
Citations (may not include all citations):1044 Maintaining knowledge about temporal intervals (context) - Allen - 1983
815 Abstract interpretation: A unified lattice model for static .. (context) - Cousot, Cousot - 1977
702 Consistency in networks of relations (context) - Mackworth - 1977
344 Concurrent Constraint Programming (context) - Saraswat - 1993
312 Systematic design of program analysis frameworks (context) - Cousot, Cousot - 1979
307 Networks of constraints: Fundamental properties and applicat.. (context) - Montanari - 1974
245 A Compendium of Continuous Lattices (context) - Gierz, Hofmann et al. - 1980
221 Constraint Logic Programming (context) - Ja, Lassez - 1987
218 Abstract interpretation and applications to logic programs (context) - Cousot, Cousot - 1992
216 Semantic foundation of concurrent constraint programming - Saraswat, Rinard et al. - 1991
214 Domains for denotational semantics (context) - Scott - 1982
142 Constraint propagation with interval labels (context) - Davis - 1987
142 Abstract interpretation frameworks (context) - Cousot, Cousot - 1992
113 Constraint logic programming: A survey (context) - Ja, Maher - 1994
77 Combinations of abstract domains for logic programming - Cortesi, Le Charlier et al. - 1994
72 Prop revisited: Propositional formula as abstract domain for.. (context) - Cortesi, File et al. - 1991
70 A semantics-based framework for the abstract interpretation .. (context) - Jones, Sndergaard - 1987
62 Some global optimizations for a Prolog compiler (context) - Mellish - 1985
59 ositional logic programs and a magic wand (context) - Codish, Demoen et al. - 1993
58 Two classes of boolean functions for dependency analysis - Armstrong, Marriott et al. - 1994
55 Data-Flow Analysis for Constraint Logic-Based Languages (context) - Bagnara - 1997
48 Comparing the Galois Connection and Widening/Narrowing Appro.. - Cousot, Cousot - 1992
38 Generalized semantics and abstract interpretation for constr.. - Giacobazzi, Debray et al. - 1995
37 On derived dependencies and connected databases (context) - Dart - 1991
34 The category of constraint systems is Cartesian-closed (context) - Saraswat - 1992
33 ACM Transactions on Programming Languages and Systems (context) - Ja, Michaylov et al. - 1992
18 abstractions and constraints (context) - Codognet, File - 1992
16 An application of constraint propagation to data-flow analys.. - Bagnara, Giacobazzi et al. - 1993
15 Analysis of nonlinear constraints in CLP (context) - Hanus - 1993
14 Commonsense arithmetic reasoning (context) - Simmons - 1986
14 the detection of implicit and redundant numeric constraints .. - Bagnara - 1994
13 Abstract interpretation of logic programs using magic transf.. (context) - Debray, Ramakrishnan - 1994
13 A hierarchy of constraint systems for data-flow analysis of .. - Bagnara - 1996
13 Logic programming with non-linear constraints over the reals (context) - Hong, Real - 1993
12 Improving abstract interpretations by systematic lifting to .. (context) - File, Ranzato - 1994
11 Static analysis of CLP programs over numeric domains - Bagnara, Giacobazzi et al. - 1992
8 Compositional optimization of disjunctive abstract interpret.. - Giacobazzi, Ranzato - 1996
5 Constraint logic programming over finite domains: the design (context) - Van Hentenryck, Saraswat et al. - 1992
5 A structured approach to semantics correctness (context) - Barbuti, Martelli - 1983
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.unipr.it/~bagnara/Papers/PDF/linkall.html): More
Decomposing Non-Redundant Sharing by Complementation - Zaffanella, Hill, Bagnara (2001) (Correct)
Enhanced Sharing Analysis Techniques: A Comprehensive.. - Bagnara, Zaffanella, Hill (2000) (Correct)
A Unified Proof For The Convergence Of Jacobi And Gauss-Seidel.. - Bagnara (1995) (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