Sophie Renault, A. Pettorossi, M. Proietti  @ NUS Home/Search
Context
Related
| 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 |
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.