eprintid: 1364
rev_number: 8
eprint_status: archive
userid: 40
dir: disk0/00/00/13/64
datestamp: 2012-09-18 15:24:04
lastmod: 2013-03-07 12:56:25
status_changed: 2012-09-18 15:24:04
type: book_section
metadata_visibility: show
creators_name: Pettorossi, Alberto
creators_name: Proietti, Maurizio
creators_name: Senni, Valerio
creators_id: 
creators_id: 
creators_id: valerio.senni@imtlucca.it
title: The Transformational Approach to Program Development
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
abstract: We present an overview of the program transformation techniques which have been proposed over the past twenty-five years in the context of logic programming. We consider the approach based on rules and strategies. First, we present the transformation rules and we address the issue of their correctness. Then, we present the transformation strategies and, through some examples, we illustrate their use for improving program efficiency via the elimination of unnecessary variables, the reduction of nondeterminism, and the use of program specialization. We also describe the use of the transformation methodology for the synthesis of logic programs from first-order specifications. Finally, we illustrate some transformational techniques for verifying first-order properties of logic programs and their application to model checking for finite and infinite state concurrent systems.
date: 2010
series: Lecture Notes in Computer Science
number: 6125
publisher: Springer
pagerange: 112-135
refereed: TRUE
isbn: 978-3-642-14308-3
book_title: A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP
official_url: http://dx.doi.org/10.1007/978-3-642-14309-0_6
citation:   Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio  The Transformational Approach to Program Development.   In:  A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP.   Lecture Notes in Computer Science  (6125).  Springer, pp. 112-135.  ISBN 978-3-642-14308-3      (2010)