Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti  Home/Search
Context Related
| iasi.rm.cnr.it/~pr...MC02_revised.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/~proiett...reports (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The reduction of nondeterminism can increase efficiency when specializing programs. We consider constraint logic programs and we propose a technique which by making use of a new transformation rule, called clause splitting, allows us to generate efficient, specialized programs which are deterministic. We have applied our technique to the specialization of pattern matching programs. (Update)
Context of citations to this paper: More
...de nitions, we terminate the specialization process. We will see this strategy in action in Section 5. This paper is an extended version of [9]. In particular, in Section 6, we will describe some experimental results obtained by implementing our specialization method on the MAP...
Cited by: More
Transformation Rules for Locally Stratified.. - Fioravanti.. (2004) (Correct)
A Specialization Technique for Deriving.. - Fioravanti.. (Correct)
Similar documents (at the sentence level):
6.5%: Verifying CTL Properties of Infinite State Systems.. - Fioravanti.. (2001) (Correct)
Active bibliography (related documents): More All
0.8: Derivation of Efficient Logic Programs by.. - Pettorossi, Proietti, .. (2001) (Correct)
0.3: Transformation of Constraint Logic Programs for Software.. - Fioravanti (2002) (Correct)
0.3: A Transformation System for Modular CLP Programs - Sandro Etalle (1995) (Correct)
Similar documents based on text: More All
0.9: Rules and Strategies for Contextual Specialization.. - Fioravanti.. (1999) (Correct)
0.7: Synthesis And Transformation Of Logic Programs Using.. - Pettorossi, Proietti (1999) (Correct)
0.7: Reducing Nondeterminism while Specializing Logic Programs - Pettorossi, Proietti (1997) (Correct)
Related documents from co-citation: More All
2: Unfoldfold transformation logic program (context) - Sato, transformation et al. - 1984
2: Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993
2: A transformation system for developing recursive programs - Burstall, Darlington - 1977
BibTeX entry: (Update)
F. Fioravanti, A. Pettorossi, and M. Proietti. Specialization with clause splitting for deriving deterministic constraint logic programs. In Proc. IEEE Conference on Systems, Man and Cybernetics, Hammamet (Tunisia). IEEE Press, 2002. http://citeseer.ist.psu.edu/fioravanti02specialization.html More
@inproceedings{ fioravanti02specialization,
author = "F. Fioravanti and A. Pettorossi and M. Proietti",
title = "Specialization with clause splitting for deriving deterministic constraint
logic programs",
booktitle = "Proc. IEEE Conference on Systems, Man and Cybernetics, Hammamet (Tunisia)",
publisher = "IEEE Press",
year = "2002",
url = "citeseer.ist.psu.edu/fioravanti02specialization.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987
638 Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993
385 A transformation system for developing recursive programs - Burstall, Darlington - 1977
224 Partial evaluation in logic programming (context) - Lloyd, Shepherdson - 1991
146 Introduction to logic programming (context) - Apt - 1990
113 Constraint logic programming: A survey (context) - Ja, Maher - 1994
82 Tutorial on specialisation of logic programs (context) - Gallagher - 1993
62 Unfoldfold transformation logic program (context) - Sato, transformation et al. - 1984
57 The concept of a supercompiler (context) - Turchin - 1986
30 Reducing nondeterminism while specializing logic programs - Pettorossi, Proietti et al. - 1997
27 Conjunctive partial deduction: Foundations (context) - De Schreye, Gl et al. - 1999
26 Partial evaluation of pattern matching in constraint logic p.. (context) - Smith - 1991
23 Essence of generalized partial computation (context) - Futamura, Nogi et al. - 1991
23 Transforming constraint logic programs (context) - Bensaou, Guessarian - 1998
20 Partial Evaluation (context) - Danvy, Gl et al. - 1996
18 Occam's razor in metacomputation: the notion of a perfect pr.. - Gl, Klimov - 1993
11 An algorithm for partial evaluation with constraints (context) - Fujita - 1987
10 Global analysis of constraint logic programs - de la, Hermenegildo et al. - 1996
9 Controlling generalization and polyvariance in partial deduc.. - Leuschel, Martens et al. - 1998
6 Automated strategies for specializing constraint logic progr.. - Fioravanti, Pettorossi et al. - 2000
3 Unfoldfold transformation nite clause program (context) - Katzouraki, transformations et al. - 1994
3 Transformations of CLP modules - Etalle, Gabbrielli - 1996
Documents on the same site (http://www.iasi.rm.cnr.it/~proietti/reports.html): More
Program Specialization via Algorithmic Unfold/Fold.. - Pettorossi, Proietti (1998) (Correct)
Developing Correct and Efficient Logic Programs by.. - Pettorossi, Proietti (1996) (Correct)
Future Directions in Program Transformation - Pettorossi, Proietti (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