| Alternate document: Details Transformations of CLP Modules (95) Sandro Etalle, Maurizio Gabbrielli |
Sandro Etalle and Maurizio Gabbrielli CWI Kruislaan 413, 1098 SJ Amsterdam,...  Home/Search
Context Related
| cs.unimaas.nl/~etalle...egiclp95.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.unimaas.nl/~etalle/pap...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We propose a transformation system for CLP programs and modules. The framework is inspired by the one of Tamaki and Sato for pure logic programs [19]. Here, the use of CLP allows us to introduce some new operations such as splitting and constraint replacement. We provide two sets of applicability conditions. The first one guarantees that the original and the transformed programs have the same computational behavior, in terms of answer constraints. The second set contains more restrictive... (Update)
Context of citations to this paper: More
...be no CLP refutation for any P [ f c 2Qg either. To ensure this property we use the following definition of a derivation, adapted from [7], in which substitutions are made explicit. This will also enable us to construct resultants in a straightforward manner. Definition 3.1...
...been supported by the EC HCM network EUROFOCS under grant n. ERBCHBGCT930496. A preliminary, shorter version of this paper appeared in [11]. 1 Introduction As shown by a number of applications, programs transformation is a powerful methodology for the development and...
Cited by: More
Advanced Techniques for Logic Program Specialisation - Leuschel (1997) (Correct)
Constrained Partial Deduction and the Preservation of.. - Leuschel, De Schreye (1997) (Correct)
Transformations of CLP Modules - Etalle, Gabbrielli (1995) (Correct)
Similar documents (at the sentence level):
19.0%: Transformation And Analysis Of (constraint) Logic Programs - Etalle (1995) (Correct)
9.3%: On the Correctness of the Replacement Operation for CLP Modules - Sandro Etalle (1996) (Correct)
Active bibliography (related documents): More All
0.3: A Specialization Technique for Deriving.. - Fioravanti.. (Correct)
0.3: Specialization with Clause Splitting for Deriving.. - Fioravanti.. (2002) (Correct)
0.2: A Semantics for Modular General Logic Programs - Etalle (1998) (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: Partial Evaluation of Concurrent Constraint Languages - Etalle, Gabbrielli (1998) (Correct)
Related documents from co-citation: More All
4: Introduction to logic programming (context) - Apt - 1990
4: Foundations of Logic Programming (context) - Lloyd - 1987
4: Transformation of logic programs: Foundations and techniques (context) - Pettorossi, Proietti - 1994
BibTeX entry: (Update)
S. Etalle and M. Gabbrielli. A transformation system for modular CLP programs. In L. Sterling, editor, Proceedings of the 12th International Conference on Logic Programming, pages 681--695. The MIT Press, 1995. http://citeseer.ist.psu.edu/etalle95transformation.html More
@inproceedings{ etalle95transformation,
author = "Sandro Etalle and Maurizio Gabbrielli",
title = "A Transformation System for Modular {CLP} Programs",
booktitle = "International Conference on Logic Programming",
pages = "681-695",
year = "1995",
url = "citeseer.ist.psu.edu/etalle95transformation.html" }
Citations (may not include all citations):561 Constraint Logic Programming (context) - Jaffar, Lassez - 1987
385 A transformation system for developing recursive programs - Burstall, Darlington - 1977
373 Constraint logic programming: A survey - Jaffar, Maher - 1994
139 Fold Transformations of Logic Programs (context) - Tamaki, Sato - 1984
129 Transformation of logic programs: Foundations and thecniques (context) - Pettorossi, Proietti - 1994
78 Predicate logic as a computational formalism (context) - Clark - 1979
57 A Compositional Semantics for Logic Programs (context) - Bossi, Gabbrielli et al. - 1994
56 Modularity in logic programming - Bugliesi, Lamma et al. - 1994
40 Modeling Answer Constraints in Constraint Logic Programs - Gabbrielli, Levi - 1991
27 Towards an Algebra for Constructing Logic Programs (context) - O'Keefe - 1985
24 Preservation of Stronger Equivalence in Unfold /Fold Logic P.. (context) - Kawamura, Kanamori - 1988
23 Transforming Constraint Logic Programs (context) - Bensaou, Guessarian - 1994
20 Differential logic programming - Bossi, Bugliesi et al. - 1993
14 Composing recursive logic programs with clausal join (context) - Lakhotia, Sterling - 1988
10 A transformation system for deductive databases with perfect.. (context) - Maher - 1993
8 on Programming Languages and Systems (context) - Jaffar, Michayov et al. - 1992
3 Transformations of CLP Modules - Etalle, Gabbrielli - 1995
1 Replacement of 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 Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC