Sandro Etalle, Maurizio Gabbrielli D.I.S.I, Universit`a di Genova Via...  @ NUS Home/Search
Context Related
| cs.unimaas.nl/~etalle/pa...egrep.ps.gz Cached: PS.gz PS PDF Image Update Help From: cs.unimaas.nl/~etalle/pap...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper we study the replacement transformation for Constraint Logic Programming modules. We define new applicability conditions which guarantee the correctness of the operation also wrt module's composition: under these conditions, the original and the transformed modules have the same observable properties also when they are composed with other modules. The applicability conditions are not bound to a specific notion of observable. Here we consider three distinct such notions: two of... (Update)
Context of citations to this paper: More
.... which was introduced in the eld of Logic Programming by Tamaki and Sato [28] and later further developed and applied to CLP in [16, 1, 7], syntactically consists in replacing an agent in the body of a program de nition by another one. It is therefore a very general...
Cited by: More
The Replacement Operation for CCP Programs - Bertolino, Etalle, Palamidessi (2000) (Correct)
Similar documents (at the sentence level):
52.1%: On the Correctness of the Replacement Operation for CLP Modules - Etalle, al. (1996) (Correct)
38.0%: Transformation And Analysis Of (constraint) Logic Programs - Etalle (1995) (Correct)
Active bibliography (related documents): More All
1.5: Transformations of CLP Modules - Etalle, Gabbrielli (1995) (Correct)
0.7: Transformation of Logic Programs - Pettorossi, Proietti (1998) (Correct)
0.5: Transformation Systems and Nondeclarative Properties - Bossi, Cocco, Etalle (Correct)
Similar documents based on text: More All
0.2: A Transformation System for CLP with Dynamic Scheduling and ccp - Sandro Etalle (1997) (Correct)
0.2: Layered Modes - Etalle, Gabbrielli (1996) (Correct)
0.2: A Transformation System for Modular CLP Programs - Sandro Etalle (1995) (Correct)
BibTeX entry: (Update)
S. Etalle and M. Gabbrielli. On the correctness of the replacement operation for clp modules. Journal of Functional and Logic Programming, February 1996. available at http://www.cs.tu-berlin.de/journal/j p. http://citeseer.comp.nus.edu.sg/101855.html More
@misc{ etalle96correctness,
author = "S. Etalle and M. Gabbrielli",
title = "the correctness of the replacement operation for clp modules",
text = "S. Etalle and M. Gabbrielli. On the correctness of the replacement operation
for clp modules. Journal of Functional and Logic Programming, February 1996.
available at http://www.cs.tu-berlin.de/journal/j p.",
year = "1996",
url = "citeseer.comp.nus.edu.sg/101855.html" }
Citations (may not include all citations):561 Constraint Logic Programming (context) - Jaffar, Lassez - 1987
435 Towards a theory of declarative knowledge (context) - Apt, Blair et al. - 1988
380 Constraint Satisfaction in Logic Programming (context) - Van Hentenryck - 1989
139 FoldTransformations of Logic Programs (context) - Tamakiand, Sato - 1984
129 Transformation of logic programs: Foundations and techniques (context) - Pettorossi, Proietti - 1994
128 Declarative modeling of the operational behavior of logic la.. (context) - Falaschi, Levi et al. - 1989
80 Constraint logic programming: A survey - Jaffar, Maher - 1994
78 Predicate logic as a computational formalism (context) - Clark - 1979
72 New Generation Computing (context) - Apt, Bezem - 1991
61 Equivalences of logic programs (context) - Maher - 1988
57 A Compositional Semantics for Logic Programs (context) - Bossi, Gabbrielli et al. - 1994
56 Modularity in logic programming - Bugliesi, Lamma et al. - 1994
41 Analysis of constraint logic programs (context) - Marriott, Sondergaard - 1990
40 Modeling Answer Constraints in Constraint Logic Programs - Gabbrielli, Levi - 1991
27 Towards an Algebra for Constructing Logic Programs (context) - O'Keefe - 1985
27 Observable Semantics for Constraint Logic Programs - Gabbrielli, Dore et al. - 1995
27 Total correctness by local improvement in program transforma.. - Sands - 1995
26 Correctness of a logic program transformation system (context) - Maher - 1987
25 Basic Transformation Operations which preserve Computed Answ.. (context) - Bossi, Cocco - 1993
24 fold transformations of logic programs (context) - Gardner, Shepherdson - 1991
23 Transforming Constraint Logic Programs (context) - Bensaou, Guessarian - 1994
20 Equivalence-preserving first-order unfold/fold transformatio.. (context) - Sato - 1992
20 Differential logic programming - Bossi, Bugliesi et al. - 1993
16 Transforming Normal Programs by Replacement (context) - Bossi, Cocco et al. - 1992
15 Some global compiletime optimizations for CLP (context) - Jorgensen, Marriott et al. - 1991
14 Composing recursive logic programs with clausal join (context) - Lakhotia, Sterling - 1988
14 Constraint Logic Programming and Option Trading (context) - Lassez, McAloon et al. - 1987
12 Synthesis of programs from unfold/fold proofs (context) - Proietti, Pettorossi - 1993
10 A transformation system for deductive databases with perfect.. (context) - Maher - 1993
10 A transformation system for definite programs based on termi.. - Cook, Gallagher - 1994
7 On Safe Folding (context) - Bossi, Cocco et al. - 1992
6 Modular Transformations of CLP Programs (context) - Etalle, Gabbrielli - 1995
5 arriott and Peter J. Stuckey. The 3 r's of optimizing constr.. (context) - Kim - 1993
4 Total correctness of a goal replacement rule based of the un.. (context) - Proietti, Pettorossi - 1994
4 TOPLAS: ACM Transactions on Programming Languages and System.. (context) - Jaffar, Michaylov et al. - 1992
3 Perfect model semantics (context) - Przymusinki - 1988
2 The Replacement Operation for CLP modules (context) - Etalle, Gabbrielli - 1995
Documents on the same site (http://www.cs.unimaas.nl/~etalle/papers/index.htm): More
Simultaneous Replacement in Normal Programs - Bossi, Cocco, Etalle (1993) (Correct)
Layered Modes - Etalle, Gabbrielli (1996) (Correct)
Well-Terminating Programs - Etalle, Bossi, Cocco (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST at NUS Add search form to your site Submit documents Feedback
CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.