eprintid: 1378
rev_number: 12
eprint_status: archive
userid: 40
dir: disk0/00/00/13/78
datestamp: 2012-09-25 12:03:29
lastmod: 2013-03-07 12:56:25
status_changed: 2012-09-25 12:31:36
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: Program Transformation for Development, Verification, and Synthesis of Software
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
keywords: Constraint logic programming; model checking; program synthesis; unfold/fold program transformation; software verification
note: Proceedings of the Day Dedicated to Prof. Alberto Martelli.  Turin, Italy, June 3, 2008. Also in Technical Report of Dipartimento di Informatica, Università degli Studi di Torino, RT 110/08, June 2008, pp. 7-14. Essay Dedicated to Alberto Martelli.
abstract: 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.
date: 2008
date_type: published
series: CEUR Workshop Proceedings
number: 487
publisher: CEUR Workshop Proceedings
pagerange: 7-14
pages: 87
refereed: TRUE
book_title: Il Milione (i.e. 2ˆ6, June 3rd 2008) A Journey in the Computational Logic in Italy. 
citation:   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)  
document_url: http://eprints.imtlucca.it/1378/1/IlMilione_CEURWP_2008_Senni.pdf