relation: http://eprints.imtlucca.it/1357/
title: Program transformation for development, verification, and synthesis of programs
creator: Fioravanti, Fabio
creator: Pettorossi, Alberto
creator: Proietti, Maurizio
creator: Senni, Valerio
subject: QA75 Electronic computers. Computer science
description: This paper briefly describes the use of the program transformation methodology for the development of correct and efficient programs. In particular, we will refer to the case of constraint logic programs and, through some examples, we will show how by program transformation, one can improve, synthesize, and verify programs.
publisher: IOS Press
date: 2011
type: Article
type: PeerReviewed
format: application/pdf
language: en
identifier: http://eprints.imtlucca.it/1357/1/Intelligenza_Artificiale_2011_Senni.pdf
identifier:   Fioravanti, Fabio and Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio  Program transformation for development, verification, and synthesis of programs.  Intelligenza Artificiale, 5 (1).  pp. 119-125.  ISSN 1724-8035      (2011)  
relation: http://iospress.metapress.com/content/807V7Q08035228H8
relation: 10.3233/IA-2011-0014