Logo eprints

Program Transformation for Development, Verification, and Synthesis of Software

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)

PDF - Published Version
Download (469kB) | Preview


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.

Item Type: Book Section
Additional Information: 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.
Uncontrolled Keywords: Constraint logic programming; model checking; program synthesis; unfold/fold program transformation; software verification
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Users 40 not found.
Date Deposited: 25 Sep 2012 12:03
Last Modified: 07 Mar 2013 12:56
URI: http://eprints.imtlucca.it/id/eprint/1378

Actions (login required)

Edit Item Edit Item