<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Program Transformation for Development, Verification, and Synthesis of Software"^^ . "In this paper we briefly describe the use of the program transformation methodology for the development of correct\r\nand efficient programs. We will consider, in particular,\r\nthe case of the transformation and the development of constraint logic programs."^^ . "2008" . . "487" . . "CEUR Workshop Proceedings"^^ . . . . . . . . . . . . . . "Alberto"^^ . "Pettorossi"^^ . "Alberto Pettorossi"^^ . . "Maurizio"^^ . "Proietti"^^ . "Maurizio Proietti"^^ . . "Valerio"^^ . "Senni"^^ . "Valerio Senni"^^ . . . . . . "Program Transformation for Development, Verification, and Synthesis of Software (PDF)"^^ . . . . . "IlMilione_CEURWP_2008_Senni.pdf"^^ . . . "Program Transformation for Development, Verification, and Synthesis of Software (Other)"^^ . . . . . . "lightbox.jpg"^^ . . . "Program Transformation for Development, Verification, and Synthesis of Software (Other)"^^ . . . . . . "preview.jpg"^^ . . . "Program Transformation for Development, Verification, and Synthesis of Software (Other)"^^ . . . . . . "medium.jpg"^^ . . . "Program Transformation for Development, Verification, and Synthesis of Software (Other)"^^ . . . . . . "small.jpg"^^ . . . "Program Transformation for Development, Verification, and Synthesis of Software (Other)"^^ . . . . . . "indexcodes.txt"^^ . . "HTML Summary of #1378 \n\nProgram Transformation for Development, Verification, and Synthesis of Software\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .