Maria Garcia de la Banda, M. Hermenegildo, Maurice Bruynooghe, V. Dumortier, Gerda Janssens, W. Simoens  Home/Search
Context Related
| cs.kuleuven.ac.be/~dtai/pu...1722.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.kuleuven.ac.be/...1996E.shtml (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: interpretation, constraint logic programming, global program analysis, program analysis 1. (Update)
Context of citations to this paper: More
.... [ hats( L] hats(L) vari(x) x] vari(y) y] vari(z) z] digit(0) 0] digit(1) 1] digit(2) [2]. digit(3) 3] digit(4) 4] digit(5) 5] digit(6) 6] digit(7) 7] digit(8) 8] digit(9) 9] SEMANTICS:...
...that c A satis es M . Often the property that a program satis es a mode can be automatically veri ed by abstract interpretation methods [11]. We say that a program P is deterministic w.r.t. a mode M i P is deterministic w.r.t. every constrained atom c0 A0 which satis es M ....
Cited by: More
An Assertion Language for Debugging of Constraint Logic.. - Puebla, Bueno.. (1997) (Correct)
Transformation Rules for Locally Stratified.. - Fioravanti.. (2004) (Correct)
A Specialization Technique for Deriving.. - Fioravanti.. (Correct)
Similar documents (at the sentence level):
49.8%: Global Analysis of Constraint Logic Programs - Banda, Hermenegildo.. (1996) (Correct)
Active bibliography (related documents): More All
1.4: The CIAO Multi-Dialect Compiler and System: An.. - Hermenegildo.. (1995) (Correct)
1.3: The CIAO Parallel Execution Environment for (C)LP.. - Hermenegildo.. (Correct)
1.3: Differential Methods in Logic Program Analysis - Banda, Marriott, Stuckey.. (1996) (Correct)
Similar documents based on text: More All
0.7: Freeness Analysis in the Presence of Numerical.. - Dumortier, Janssens.. (1993) (Correct)
0.4: A Generic Framework for Context-Sensitive Analysis .. - Puebla, Correas.. (Correct)
0.3: Exploiting Goal Independence in the Analysis of Logic.. - Codish, Bruynooghe.. (1997) (Correct)
Related documents from co-citation: More All
5: Foundations of Logic Programming (context) - Lloyd - 1987
4: Abstract interpretation: a unified lattice model for static analysis of programs.. (context) - Cousot, Cousot - 1977
3: A transformation system for developing recursive programs - Burstall, Darlington - 1977
BibTeX entry: (Update)
M. Garcia de la Banda , M. Hermenegildo, M. Bruynooghe, V. Dumortier, G. Janssens, and W. Simoens. Global analysis of constraint logic programs. ACM Trans. Prog. Lang. Syst., 1996. Accepted for publication. http://citeseer.ist.psu.edu/article/garciadelabanda96global.html More
@article{ banda96global,
author = "M. Garcia de la Banda and M. Hermenegildo and M. Bruynooghe and V. Dumortier and G. Janssens and W. Simoens",
title = "Global Analysis of Constraint Logic Programs",
journal = "ACM Transactions on Programming Languages and Systems",
volume = "18",
number = "5",
month = "September",
publisher = "ACM Press",
pages = "564--614",
year = "1996",
url = "citeseer.ist.psu.edu/article/garciadelabanda96global.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987
815 Abstract interpretation: A unified lattice model for static .. (context) - Cousot, Cousot - 1977
561 Constraint logic programming (context) - Jaffar, Lassez - 1987
373 Constraint logic programming: A survey - Jaffar, Maher - 1994
312 Systematic design of program analysis frameworks (context) - Cousot, Cousot - 1979
261 An introduction to PROLOGIII (context) - Colmerauer - 1990
218 Abstract interpretation and application to logic programs (context) - Cousot, Cousot
214 Constraint Satisfaction in Logic Programming (context) - Van Hentenryck - 1989
112 The Art of Prolog: Advanced Programming Techniques (context) - Sterling, Shapiro - 1994
108 A practical framework for the abstract interpretation of log.. (context) - Bruynooghe - 1991
105 Compile-time derivation of variable dependency using abstrac.. - Muthukumar, Hermenegildo - 1992
89 Deriving descriptions of possible values of program variable.. (context) - Janssens, Bruynooghe - 1992
88 Static analysis of logic programs for independent Andparalle.. (context) - Jacobs, Langen - 1992
87 An efficient unification algorithm (context) - Martelli, Montanari - 1982
79 Static inference of modes and data dependencies in logic pro.. - Debray - 1989
48 Abstract interpretation of Prolog programs (context) - Mellish - 1986
45 Improving abstract interpretations by combining domains (context) - Codish, Mulkers et al. - 1995
41 Analysis of constraint logic programs (context) - Marriott, Sndergaard - 1990
40 Effectiveness of global analysis in strict independence-base.. (context) - Bueno, de la et al. - 1994
34 Determination of variable dependence information at compile-.. (context) - Muthukumar, Hermenegildo - 1989
34 the practicality of global flow analysis of logic programs (context) - Warren, Hermenegildo et al. - 1988
33 Boolean functions for dependency analysis: Algebraic propert.. (context) - Armstrong, Marriott et al. - 1994
30 Incremental analysis of logic programs - Hermenegildo, Marriott et al. - 1995
29 An abstract machine for CLP (context) - Jaffar, Michaylov et al. - 1992
28 Efficient dataflow analysis of logic programs - Debray
26 Analyzing logic programs with dynamic scheduling - Marriott, Garc'ia et al. - 1994
26 the practicality of abstract equation systems (context) - Mulkers, Simoens et al. - 1994
26 the practicality of abstract equation systems (context) - Mulkers, Simoens et al. - 1995
22 Experimental evaluation of a generic abstract interpretation.. (context) - Le Charlier, Van Hentenryck - 1994
21 Analysis of shared data structures for compile-time garbage .. (context) - Mulkers, Winsborough et al. - 1990
20 Semantics-based dataflow analysis of logic programs (context) - Marriott, Sndergaard - 1989
20 The occur-check problem in Prolog (context) - Plaisted - 1984
20 High-performance logic programming with the Aquarius Prolog .. (context) - Van Roy, Despain - 1992
19 A blueprint for an abstract machine for abstract interpretat.. (context) - Janssens, Bruynooghe et al. - 1995
18 Deriving a fixpoint computation algorithm for top-down abstr.. (context) - Muthukumar, Hermenegildo - 1990
17 Independence in constraint logic programs (context) - Banda, Hermenegildo et al. - 1993
15 Analysis of nonlinear constraints in CLP (context) - Hanus - 1993
15 Some global compile-time optimizations for CLP (context) - Jrgensen, Marriott et al. - 1991
12 Live-structure dataflow analysis for Prolog (context) - Mulkers, Winsborough et al. - 1994
11 abstractions and constraints in logic programs (context) - Codognet, Fil'e - 1992
11 Dependency analysis and query interfaces for deductive datab.. (context) - Dart - 1988
11 Approximating interaction between linear arithmetic constrai.. (context) - Marriott, Stuckey - 1994
10 Freeness analysis in the presence of numerical constraints - Dumortier, Janssens et al. - 1993
9 Redundancy of variables in CLP (context) - Macdonald, Stuckey et al. - 1993
9 Frameworks for abstract interpretation (context) - Marriott - 1993
8 Towards a practical full mode inference system for CLP - Dumortier, Janssens - 1994
8 Optimizing compilation for CLP (context) - Marriott, Sndergaard et al. - 1994
7 Strictness analysis and denotational abstract interpretation (context) - Nielson - 1988
7 A generic abstract interpretation algorithm and its complexi.. (context) - Le Charlier, Musumbu et al. - 1991
6 the complexity of dataflow analysis of logic programs - Debray - 1995
5 and parallelism in dynamically scheduled constraint logic pr.. (context) - Banda, Independence et al. - 1994
4 Live Data Structures in Logic Programs (context) - Mulkers - 1993
4 Freeness and related analyses of constraint logic programs u.. (context) - Dumortier - 1994
3 Abstract interpretation (context) - Bruynooghe, Boulanger - 1994
3 A practical approach to the global analysis of CLP programs (context) - Banda, Hermenegildo - 1993
3 Propagation: A new operation in a framework for abstract int.. (context) - Bruynooghe, Janssens - 1992
3 A canonical form for generalised linear constraints (context) - Lassez, McAloon - 1992
2 Efficient analysis of logic programs with dynamic scheduling (context) - Banda, Marriott et al. - 1995
2 Garc'ia de la Banda (context) - on, Languages et al. - 1996
2 Garc'ia de la Banda (context) - on, Languages et al. - 1996
2 Backtracking without trailing in CLP (context) - Van Hentenryck, Ramachandran - 1994
1 and Van Hentenryck (context) - Ramachandran - 1995
1 Analysis of residuation in logic programs (context) - Hanus - 1995
1 Prolog and its performance: Exploiting independent And-paral.. (context) - of, Programs et al. - 1990
1 An abstract interpretation framework for almost full prolog (context) - Le Charlier, Rossi et al. - 1994
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.kuleuven.ac.be/~dtai/publications/1996-E.shtml): More
Relational Knowledge Discovery in Databases - Blockeel, De Raedt (1996) (Correct)
Inductive Database Design - Blockeel (1996) (Correct)
Exploiting Goal Independence In The Analysis Of Logic.. - Codish, Bruynooghe.. (1997) (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