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)
|
PDF
- Published Version
Download (128kB) | Preview |
Official URL: http://iospress.metapress.com/content/807V7Q080352...
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.
| Item Type: | Article |
|---|---|
| Identification Number: | 10.3233/IA-2011-0014 |
| Uncontrolled Keywords: | Constraint logic programming, model checking, program development, 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: | 18 Sep 2012 13:12 |
| Last Modified: | 07 Mar 2013 12:56 |
| URI: | http://eprints.imtlucca.it/id/eprint/1357 |
Actions (login required)
 |
Edit Item |
