Alberto Pettorossi, Maurizio Proietti  Home/Search
Context
Related
| iasi.rm.cnr.it/~pr...lskiBook2001.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: In a seminal paper [38] Prof. Robert Kowalski advocated the paradigm Algorithm = Logic + Control which was intended to characterize program executions. Here we want to illustrate the corresponding paradigm Program Derivation = Rules + Strategies which is intended to characterize program derivations, rather than executions. During program execution, the Logic component guarantees that the computed results are correct, that is, they are true facts in the intended model of the given program, while ... (Update)
Active bibliography (related documents): More All
2.5: Automatic Derivation of Logic Programs by Transformation - Pettorossi, Proietti (2000) (Correct)
2.2: Verification of Sets of Infinite State Processes.. - Fioravanti.. (Correct)
1.8: Transformation Rules for Locally Stratified.. - Fioravanti.. (2004) (Correct)
Similar documents based on text: More All
1.0: Program Specialization via Algorithmic Unfold/Fold.. - Pettorossi, Proietti (1998) (Correct)
0.9: Perfect Model Checking via Unfold/Fold Transformations - Pettorossi, Proietti (2000) (Correct)
0.9: The List Introduction Strategy for. . . - Pettorossi, Proietti (1998) (Correct)
BibTeX entry: (Update)
@misc{ pettorossi-program,
author = "Alberto Pettorossi and Maurizio Proietti",
title = "Program Derivation = Rules + Strategies",
url = "citeseer.ist.psu.edu/479820.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987
828 Model Checking - Clarke, Grumberg et al. - 2000
652 A Discipline of Programming (context) - Dijkstra - 1976
650 An axiomatic basis for computer programming (context) - Hoare - 1969
638 Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993
634 A machine-oriented logic based on the resolution principle (context) - Robinson - 1965
385 A transformation system for developing recursive programs - Burstall, Darlington - 1977
224 Partial evaluation in logic programming (context) - Lloyd, Shepherdson - 1991
204 KIDS: A semi-automatic program development system - Smith - 1990
182 Logic for Problem Solving (context) - Kowalski - 1979
180 Logic programming and negation: A survey - Apt, Bol - 1994
165 Theoretical Computer Science (context) - Kozen, the et al. - 1983
159 Predicate logic as a programming language (context) - Kowalski - 1974
129 The foundation of a generic theorem prover - Paulson - 1989
94 A deductive approach to program synthesis (context) - Manna, Waldinger - 1980
88 Model checking in CLP - Delzanno, Podelski - 1999
87 The oyster-clam system (context) - Bundy, van Harmelen et al. - 1990
79 Logic Programming: Systematic Program Development (context) - Deville - 1990
78 Acyclic programs (context) - Apt, Bezem - 1990
64 Communications of the ACM (context) - Kowalski, Logic - 1979
62 Unfoldfold transformation logic program (context) - Sato, transformation et al. - 1984
62 the declarative and procedural semantics of logic programs - Przymusinski - 1989
58 Memoing for logic programs (context) - Warren - 1992
54 Rules and strategies for transforming functional and logic p.. - Pettorossi, Proietti - 1996
50 Derivation of logic programs (context) - Hogger - 1981
46 Mixtus: An automatic partial evaluator for full Prolog (context) - Sahlin - 1993
32 A transformation system for deductive database modules with .. (context) - Maher - 1993
30 The synthesis of logic programs from inductive proofs (context) - Bundy, Smaill et al.
30 Reducing nondeterminism while specializing logic programs - Pettorossi, Proietti et al. - 1997
28 Logic program synthesis - Deville, Lau - 1994
27 Equivalences and Transformations of Regular Systems Applic.. (context) - Courcelle - 1986
27 Conjunctive partial deduction: Foundations (context) - De Schreye, Glck et al. - 1999
23 Transforming constraint logic programs (context) - Bensaou, Guessarian - 1998
23 Extracting logic programs from proofs that use extended Prol.. (context) - Fribourg
20 cient model checking using tabled resolution (context) - Ramakrishna, Ramakrishnan et al. - 1997
19 Top-down synthesis of recursive logic procedures from rst-o.. - Lau, Prestwich - 1990
18 Transformational logic program synthesis (context) - Sato, Tamaki
17 Journal of Logic Programming (context) - Bruynooghe, De Schreye et al. - 1989
17 Unfoldfold transformation logic program (context) - Shepherdson, transformations et al. - 1991
17 Program specialisation and abstract interpretation reconcile.. (context) - Leuschel
16 Abstract multiple specialization and its application to prog.. - Puebla, Hermenegildo - 1999
16 Transforming normal programs by replacement (context) - Bossi, Cocco et al. - 1992
15 Theoretical Computer Science (context) - Etalle, Gabbrielli et al. - 1996
15 Tutorial on specialization of logic programs (context) - Gallagher - 1993
14 Constraint logic programming for local and symbolic model-ch.. - Nilsson, Lbcke
14 Predicate logic: A calculus for deriving programs (context) - Clark, Sickel - 1977
14 Transformation of logic programs - Pettorossi, Proietti - 1998
13 Synthesi and transformation logic program using unfoldfold p.. - Proietti, transformation et al. - 1999
11 Optimizing almost-tail-recursive Prolog programs (context) - Debray - 1985
11 Notes on transformation techniques for generate and test log.. (context) - Seki, Furukawa - 1987
9 Unfoldfold transformation general logic program well founded.. (context) - fold, general et al. - 1993
9 Construction logic program based generalized unfoldfold rule (context) - Horiuchi, logic et al. - 1987
9 Rewriting with strategies in elan: A functional semantics - Borovansky, Kirchner et al. - 2001
9 Proofs by program transformation - Roychoudhury, Kumar et al. - 1999
9 First order compiler: A deterministic logic program synthesi.. (context) - Sato, Tamaki - 1989
8 Unfoldfold program transformation (context) - fold, In et al. - 1985
8 Perfect model checking via unfoldfold transformation - Proietti, checking et al.
6 Some achievements and prospects in partial deduction - Leuschel, Martens et al. - 1998
5 nition-folding (context) - Proietti, Pettorossi - 1995
5 Using regular approximations for generalisation during parti.. - Gallagher, Peralta
4 compiling predicate logic programs (context) - Warren - 1977
4 Abstract interpretation: A uni ed lattice model for static a.. (context) - Cousot, Cousot - 1977
3 Beyond tamaki sato style unfoldfold transformation normal lo.. - Kumar, Ramakrishnan et al. - 1999
3 rst order theory of data and programs (context) - Clark, Trnlund - 1977
2 A decompositional approach for computing least xedpoints of.. (context) - Fribourg, Olsn - 1997
2 Unfoldfold transformation strati ed program (context) - fold, strati et al. - 1991
2 cation of parameterized systems using logic program transfor.. (context) - Roychoudhury, Kumar et al.
2 Logic for component-based software development (context) - Lau, Ornaghi
2 TREQUASI: Un systme pour la transformation automatique de pr.. (context) - Azibi - 1987
2 Automated inductive veri cation of parameterized protocols (context) - Roychoudhury, Ramakrishnan
2 Unfoldfold transformation CCP program - Gabbrielli, fold et al. - 1998
2 Verifying CTL properties of in - nite state systems by speci.. - Fioravanti, Pettorossi et al.
1 Unfoldfold transformation disjunctive logic program (context) - fold, disjunctive et al. - 1997
1 Logic program synthesis from rst-order speci cations (context) - Kawamura - 1994
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