Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti  @ NUS Home/Search
Context Related
| iasi.rm.cnr.it/%7E..._LOPSTR_book.ps.gz Cached: PS.gz PS PDF Image Update Help From: iasi.rm.cnr.it/~proiett...reports (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We propose a set of transformation rules for constraint logic programs with negation. We assume that every program is locally strati- ed and, thus, it has a unique perfect model. We give su cient conditions which ensure that the proposed set of transformation rules preserves the perfect model of the programs. Our rules extend in some respects the rules for logic programs and constraint logic programs already considered in the literature and, in particular, they include a rule for... (Update)
Cited by: More
Specialization of Concurrent Guarded Multi-Set - Transformation Rules Thom (Correct)
Active bibliography (related documents): More All
1.8: Program Derivation = Rules + Strategies - Pettorossi, Proietti (2001) (Correct)
1.0: Verifying CTL Properties of Infinite State Systems.. - Fioravanti.. (2001) (Correct)
1.0: Verification of Sets of Infinite State Processes.. - Fioravanti.. (2001) (Correct)
Similar documents based on text: More All
0.6: Rules and Strategies for Contextual Specialization.. - Fioravanti.. (1999) (Correct)
0.5: Verifying CTL Properties of Infinite State Systems.. - Fioravanti.. (2001) (Correct)
0.5: Perfect Model Checking via Unfold/Fold Transformations - Pettorossi, Proietti (2000) (Correct)
BibTeX entry: (Update)
Fabio Fioravanti, Alberto Pettorossi, and Maurizio Proietti. Transformation rules for locally stratified constraint logic programs. 2004. http://citeseer.comp.nus.edu.sg/669269.html More
@misc{ fioravanti04transformation,
author = "F. Fioravanti and A. Pettorossi and M. Proietti",
title = "Transformation rules for locally stratified constraint logic programs",
text = "Fabio Fioravanti, Alberto Pettorossi, and Maurizio Proietti. Transformation
rules for locally stratified constraint logic programs. 2004.",
year = "2004",
url = "citeseer.comp.nus.edu.sg/669269.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
180 Logic programming and negation: A survey - Apt, Bol - 1994
146 Introduction to logic programming (context) - Apt - 1990
130 From Logic Programming to Prolog (context) - Apt - 1997
129 Transformation of logic programs: Foundations and techniques (context) - Pettorossi, Proietti - 1994
113 Constraint logic programming: A survey (context) - Ja, Maher - 1994
87 Programming with Constraints: An Introduction (context) - Marriott, Stuckey - 1998
62 Unfoldfold transformation logic program (context) - Sato, transformation et al. - 1984
50 Derivation of logic programs (context) - Hogger - 1981
44 Total correctness by local improvement in the transformation.. - Sands - 1996
32 A transformation system for deductive database modules with .. (context) - Maher - 1993
30 Reducing nondeterminism while specializing logic programs - Pettorossi, Proietti et al. - 1997
29 Context-free languages and pushdown automata - Autebert, Berstel et al. - 1997
23 Transforming constraint logic programs (context) - Bensaou, Guessarian - 1998
18 Transformational logic program synthesis (context) - Sato, Tamaki
17 Unfoldfold transformation logic program (context) - Shepherdson, transformations et al. - 1991
16 A transformation system for lazy functional logic programs - Alpuente, Falaschi et al. - 1999
16 Transforming normal programs by replacement (context) - Bossi, Cocco et al. - 1992
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 Global analysis of constraint logic programs - de la, Hermenegildo et al. - 1996
9 parameterized unfoldfold transformation framework nite logi.. - Kumar, Ramakrishnan et al. - 1999
9 Construction logic program based generalized unfoldfold rule (context) - Horiuchi, logic et al. - 1987
9 Unfoldfold transformation general logic program well founded.. (context) - fold, general et al. - 1993
8 The semantics of constraint logic programming (context) - Ja, Maher et al. - 1998
8 Perfect model checking via unfoldfold transformation - Proietti, checking et al. - 2000
7 Unfoldfold transformation strati ed program (context) - fold, strati et al. - 1991
7 Proving safety properties of in nite state systems by compil.. (context) - Fribourg, Olsn - 1997
6 the declarative semantics of strati ed deductive databases a.. (context) - Przymusinski - 1987
5 nition-folding (context) - Proietti, Pettorossi - 1995
4 Program Derivation = Rules + Strategies (context) - Pettorossi, Proietti - 2002
3 Transformation of Constraint Logic Programs for Software Spe.. - Fioravanti - 2002
3 Synthesis of programs in computational logic (context) - Basin, Deville et al. - 2004
3 Unfoldfold transformation logic program with counter (context) - Fujita, transformation et al. - 1986
3 Logic program specialisation through partial deduction: Cont.. - Leuschel, Bruynooghe - 2002
3 Beyond Tamaki Sato style unfoldfold transformation normal lo.. - Kumar, Ramakrishnan et al. - 2002
2 Verifying CTL properties of in - nite state systems by speci.. (context) - Fioravanti, Pettorossi et al. - 2001
2 nite clause programs (context) - Gergatsoulis, Katzouraki et al. - 1994
2 cation of parameterized systems using logic program transfor.. (context) - Roychoudhury, Kumar et al. - 2000
2 Specialization with clause splitting for deriving determinis.. - Fioravanti, Pettorossi et al. - 2002
1 rst order unfoldfold transformation system (context) - equivalence, order et al. - 1992
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 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.