eprintid: 1357
rev_number: 13
eprint_status: archive
userid: 40
dir: disk0/00/00/13/57
datestamp: 2012-09-18 13:12:39
lastmod: 2013-03-07 12:56:25
status_changed: 2012-09-18 13:12:39
type: article
metadata_visibility: show
creators_name: Fioravanti, Fabio
creators_name: Pettorossi, Alberto
creators_name: Proietti, Maurizio
creators_name: Senni, Valerio
creators_id: 
creators_id: 
creators_id: 
creators_id: valerio.senni@imtlucca.it
title: Program transformation for development, verification, and synthesis of programs
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
keywords: Constraint logic programming, model checking, program development, program synthesis, unfold/fold program transformation, software verification 
abstract: 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.
date: 2011
date_type: published
publication: Intelligenza Artificiale
volume: 5
number: 1
publisher: IOS Press
pagerange: 119-125
id_number: 10.3233/IA-2011-0014
refereed: TRUE
issn: 1724-8035
official_url: http://iospress.metapress.com/content/807V7Q08035228H8
citation:   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)  
document_url: http://eprints.imtlucca.it/1357/1/Intelligenza_Artificiale_2011_Senni.pdf