relation: http://eprints.imtlucca.it/1378/
title: Program Transformation for Development, Verification, and Synthesis of Software
creator: Pettorossi, Alberto
creator: Proietti, Maurizio
creator: Senni, Valerio
subject: QA75 Electronic computers. Computer science
description: In this paper we briefly describe the use of the program transformation methodology for the development of correct  and efficient programs. We will consider, in particular,  the case of the transformation and the development of constraint logic programs.
publisher: CEUR Workshop Proceedings
date: 2008
type: Book Section
type: PeerReviewed
format: application/pdf
language: en
identifier: http://eprints.imtlucca.it/1378/1/IlMilione_CEURWP_2008_Senni.pdf
identifier:   Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio  Program Transformation for Development, Verification, and Synthesis of Software.   In:  Il Milione (i.e. 2ˆ6, June 3rd 2008) A Journey in the Computational Logic in Italy.   CEUR Workshop Proceedings  (487).  CEUR Workshop Proceedings, pp. 7-14.       (2008)