Design, Implementation, And Use Of The Map Transformation System (1998)  (Make Corrections)  
Sophie Renault, A. Pettorossi, M. Proietti

 @ NUS   Home/Search   Context   Related

 
View or download:
iasi.rm.cnr.it/pub/proi...map_rep.ps.gz
iasi.rm.cnr.it/~proiett...map_rep.ps.gz
Cached:  PS.gz  PS  PDF  Image  Update  Help

From:  iro.umontreal.ca/~renault/Pape... (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: The MAP transformation system is a tool which supports the interactive derivation of logic programs using the unfold/fold transformation methodology. A derivation consists of a sequence of applications of some prede ned transformation rules, starting from a given initial program. When a rule is invoked, if the conditions of its application are satis ed, the system transforms the current program into a new program. Such transformation steps may be performed interactively, in a sequence, until a ... (Update)

Active bibliography (related documents):   More   All
0.4:   Derivation of Efficient Logic Programs by.. - Pettorossi, Proietti, .. (2002)   (Correct)
0.2:   Ph.D. Thesis Proposal: Transformation of Constraint Logic Programs - Fioravanti   (Correct)
0.2:   Guidelines to the Current Implementation of the MAP.. - Sophie Renault Iasi-Cnr   (Correct)

Similar documents based on text:   More   All
4.5:   Verification of Sets of Infinite State Processes.. - Fioravanti.. (2001)   (Correct)
4.1:   Verifying CTL Properties of Infinite State Systems.. - Fioravanti.. (2001)   (Correct)
1.5:   Istituto Di Analisi Dei Sistemi Ed Informatica.. - Frangioni Gentile..   (Correct)

BibTeX entry:   (Update)

@misc{ renault-design,
  author = "Sophie Renault and A. Pettorossi and M. Proietti",
  title = "Design, Implementation, And Use Of The Map Transformation System",
  url = "citeseer.comp.nus.edu.sg/122219.html" }
Citations (may not include all citations):
1838   Foundations of Logic Programming (context) - Lloyd - 1987
861   Tcl and the Tk Toolkit - Ousterhout - 1994
385   A transformation system for developing recursive programs - Burstall, Darlington - 1977
139   fold transformation of logic programs (context) - Tamaki, Sato - 1984
129   Transformation of logic programs: Foundations and techniques (context) - Pettorossi, Proietti - 1994
30   Reducing nondeterminism while specializing logic programs - Pettorossi, Proietti et al. - 1997
24   The loop absorption and the generalization strategies for th.. (context) - Proietti, Pettorossi - 1993
15   Swedish Institute of Computer Science (context) - Systems, SICStus et al. - 1995
6   Unfolding-denition-folding (context) - Proietti, Pettorossi - 1995
5   A system for transforming logic programs - Renault - 1997

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.