{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:15:25Z","timestamp":1742616925136,"version":"3.40.2"},"reference-count":0,"publisher":"SAGE Publications","issue":"1","license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"content-domain":{"domain":["journals.sagepub.com"],"crossmark-restriction":true},"short-container-title":["Intelligenza Artificiale: The international journal of the AIxIA"],"published-print":{"date-parts":[[2011,2]]},"abstract":"<jats:p>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.<\/jats:p>","DOI":"10.3233\/ia-2011-0014","type":"journal-article","created":{"date-parts":[[2019,12,2]],"date-time":"2019-12-02T17:15:44Z","timestamp":1575306944000},"page":"119-125","update-policy":"https:\/\/doi.org\/10.1177\/sage-journals-update-policy","source":"Crossref","is-referenced-by-count":4,"title":["Program transformation for development, verification, and synthesis of programs"],"prefix":"10.1177","volume":"5","author":[{"given":"Fabio","family":"Fioravanti","sequence":"first","affiliation":[{"name":"Department of Sciences, University of \u2018G. D'Annunzio\u2019, Viale Pindaro 42, Pescara, Italy"}]},{"given":"Alberto","family":"Pettorossi","sequence":"additional","affiliation":[{"name":"Department of Informatics, Systems, and Production, University of Rome \u2018Tor Vergata\u2019, Via del Politecnico 1, Rome, Italy"}]},{"given":"Maurizio","family":"Proietti","sequence":"additional","affiliation":[{"name":"CNR-IASI, Viale Manzoni 30, Rome, Italy"}]},{"given":"Valerio","family":"Senni","sequence":"additional","affiliation":[{"name":"Department of Informatics, Systems, and Production, University of Rome \u2018Tor Vergata\u2019, Via del Politecnico 1, Rome, Italy"}]}],"member":"179","published-online":{"date-parts":[[2011,1]]},"container-title":["Intelligenza Artificiale: The international journal of the AIxIA"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/IA-2011-0014","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/IA-2011-0014","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T13:44:25Z","timestamp":1742564665000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.3233\/IA-2011-0014"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,1]]},"references-count":0,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2011,2]]}},"alternative-id":["10.3233\/IA-2011-0014"],"URL":"https:\/\/doi.org\/10.3233\/ia-2011-0014","relation":{},"ISSN":["1724-8035","2211-0097"],"issn-type":[{"type":"print","value":"1724-8035"},{"type":"electronic","value":"2211-0097"}],"subject":[],"published":{"date-parts":[[2011,1]]}}}