Location of Repository

Transformation of Logic Programs

By Alberto Pettorossi and Maurizio Proietti

Abstract

Program transformation is a methodology for deriving correct and efficient programs from specifications. In this chapter, we will look at the so called 'rules + strategies' approach, and we will report on the main techniques which have been introduced in the literature for that approach, in the case of logic programs. We will also present some examples of program transformation, and we hope that through those examples the reader may acquire some familiarity with the techniques we will describe

Topics: 3 Transformation Rules for Logic Programs......... 8
Publisher: Oxford University Press
Year: 1998
OAI identifier: oai:CiteSeerX.psu:10.1.1.32.3295
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www.iasi.rm.cnr.it/~pro... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.