Fabio Fioravanti  Home/Search
Context
Related
| iasi.rm.cnr.it/~fi...sis_proposal.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: The aim of my research is to study the issues related to the transformation of constraint logic programs using the approach based on transformation rules and strategies. In particular I will focus on (i) the development of new transformation rules and strategies based on the unfold/fold method, (ii) the development of a system for transforming constraint logic programs, and (iii) the application of the developed techniques to problems in the field of automatic program specialization and... (Update)
Active bibliography (related documents): More All
0.6: Contextual Specialization of Constraint Logic Programs - Fioravanti, Proietti (1999) (Correct)
0.6: Rules and Strategies for Contextual Specialization.. - Fioravanti.. (1999) (Correct)
0.4: Transformation of Constraint Logic Programs for Software.. - Fioravanti (2002) (Correct)
Similar documents based on text: More All
0.5: Automated Strategies for Specializing Constraint Logic.. - Fioravanti, Pettorossi, .. (Correct)
0.4: Verification of Infinite-State Systems by Specialization of CLP .. - Fioravanti (Correct)
0.4: Verifying CTL Properties of Infinite State Systems.. - Fioravanti.. (2001) (Correct)
BibTeX entry: (Update)
@misc{ fioravanti-phd,
author = "Fabio Fioravanti",
title = "Ph.D. Thesis Proposal: Transformation of Constraint Logic Programs",
url = "citeseer.ist.psu.edu/491018.html" }
Citations (may not include all citations):385 A transformation system for developing recursive programs - Burstall, Darlington - 1977
224 Partial evaluation in logic programming (context) - Lloyd, Shepherdson - 1991
129 Transformation of logic programs: Foundations and techniques (context) - Pettorossi, Proietti - 1994
113 Constraint logic programming: A survey (context) - Ja, Maher - 1994
102 Design and Validation of Computer Protocols (context) - Holzmann - 1991
62 Unfoldfold transformation logic program (context) - Sato, transformation et al. - 1984
32 ACM Transactions on Programming Languages and Systems (context) - Bossi, Cocco et al. - 1990
32 A transformation system for deductive database modules with .. (context) - Maher - 1993
23 Transforming constraint logic programs (context) - Bensaou, Guessarian - 1998
15 Theoretical Computer Science (context) - Etalle, Gabbrielli et al. - 1996
13 Theory and practice of constraint handling rules (context) - Frhwirth - 1998
5 A system for transforming logic programs - Renault - 1997
5 Constrained partial deduction - Leuschel, De Schreye - 1997
4 Partial evaluation in constraint logic programming (context) - Wrzos-Kaminska - 1996
1 Contextual specialization of constraint logic programs - Fioravanti, Proietti - 1999
1 Rules and strategies for contextual specialization of constr.. - Fioravanti, Pettorossi et al. - 1999
Documents on the same site (http://www.iasi.rm.cnr.it/~fioravan/): More
Rules and Strategies for Contextual Specialization of.. - Fioravanti (2000) (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