Fabio Fioravanti  Home/Search
Context Related
| iasi.rm.cnr.it/~fio...tcs30.2.002.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: iasi.rm.cnr.it/~fioravan/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We address the problem of specializing a constraint logic program w.r.t. a constrained atom which specifies the context of use of the program. We follow an approach based on transformation rules and strategies. We introduce a novel transformation rule, called contextual constraint replacement, to be combined with variants of the traditional unfolding and folding rules. We present a general Partial Evaluation Strategy for automating the application of these rules, and two additional strategies:... (Update)
Context of citations to this paper: More
...fold rules [2, 4] In CLP, the context of use is naturally expressed by constraints, which may denote possibly in nite sets of values. In [5, 6] we have investigated the specialization of constraint logic programs w.r.t. properties. In particular, we have introduced novel...
Cited by: More
Ph.D. Thesis Proposal: Transformation of Constraint Logic Programs - Fioravanti (Correct)
Similar documents (at the sentence level):
40.2%: Rules and Strategies for Contextual Specialization.. - Fioravanti.. (1999) (Correct)
Active bibliography (related documents): More All
1.1: Contextual Specialization of Constraint Logic Programs - Fioravanti, Proietti (1999) (Correct)
0.8: Transformation of Constraint Logic Programs for Software.. - Fioravanti (2002) (Correct)
0.5: Automatic Derivation of Logic Programs by Transformation - Pettorossi, Proietti (2000) (Correct)
Similar documents based on text: More All
1.1: Automated Strategies for Specializing Constraint Logic.. - Fioravanti, Pettorossi, .. (Correct)
0.8: Specialization with Clause Splitting for Deriving.. - Fioravanti.. (2002) (Correct)
0.8: A Specialization Technique for Deriving.. - Fioravanti.. (Correct)
BibTeX entry: (Update)
F. Fioravanti, A. Pettorossi, and M. Proietti. Rules and strategies for contextual specialization of constraint logic programs. In M. Leuschel, editor, ICLP'99 Workshop on Optimization and Implementation of Declarative Programming Languages WOID'99, 1999. To appear. http://citeseer.ist.psu.edu/fioravanti00rules.html More
@article{ fioravanti99rules,
author = "Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti",
title = "Rules and Strategies for Contextual Specialization of Constraint Logic Programs",
journal = "Electronic Notes in Theoretical Computer Science",
volume = "30",
number = "2",
year = "1999",
url = "citeseer.ist.psu.edu/fioravanti00rules.html" }
Citations (may not include all citations):638 Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993
373 Constraint logic programming: A survey - Jaffar, Maher - 1994
224 Partial evaluation in logic programming (context) - Lloyd, Shepherdson - 1991
46 Mixtus: An automatic partial evaluator for full Prolog (context) - Sahlin - 1993
32 A transformation system for deductive database modules with .. (context) - Maher - 1993
32 ACM Transactions on Programming Languages and Systems (context) - Bossi, Cocco et al. - 1990
30 Reducing nondeterminism while specializing logic programs - Pettorossi, Proietti et al. - 1997
23 Transforming constraint logic programs (context) - Bensaou, Guessarian - 1998
23 Redundant argument filtering of logic programs - Leuschel, Srensen - 1996
19 Online partial deduction of large programs (context) - Prestwich - 1993
16 ACM Transactions on Programming Languages and Systems (context) - Consel, Khoo et al. - 1993
16 Abstract Multiple Specialization and its Application to Prog.. - Puebla, Hermenegildo - 1999
15 Tutorial on specialization of logic programs (context) - Gallagher - 1993
15 Theoretical Computer Science (context) - Etalle, Gabbrielli et al. - 1996
13 Synthesi and transformation logic program using unfoldfold p.. - Proietti, transformation et al. - 1999
10 Towards the partial evaluation of CLP languages (context) - Hickey, Smith - 1991
9 A theory of logic program specialization and generalization .. - Pettorossi, Proietti - 1996
8 The semantics of constraint logic programming (context) - Jaffar, Maher et al. - 1998
5 Constrained partial deduction - Leuschel, De Schreye - 1997
5 arriott and Peter J. Stuckey. The 3 R's of Optimizing Constr.. (context) - Kim - 1993
4 Partial evaluation in constraint logic programming (context) - Wrzos-Kaminska - 1996
Documents on the same site (http://www.iasi.rm.cnr.it/~fioravan/): More
Ph.D. Thesis Proposal: Transformation of Constraint Logic Programs - Fioravanti (Correct)
Some extensions of Context-free Rewriting - Fioravanti, Gattari, Zilli (Correct)
Verifying CTL Properties of Infinite State Systems.. - Fioravanti.. (2001) (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