Affiliations: Dipartimento di Informatica, Università Ca' Foscari di Venezia, Venezia Mestre, Italy
Note: [] Corresponding author. Dipartimento di Informatica, Università Ca' Foscari di Venezia, via Torino, 155, 30172 Venezia Mestre, Italy. Tel.: +39 041 2348415; Fax: +39 041 2348419; E-mails: cocco@dsi.unive.it (N. Cocco); bossi@dsi.unive.it (A. Bossi).
Abstract: In this paper, we briefly describe our experience in the field of analysis and transformation of logic programs. Although now we work in completely different fields, verification of security properties on the one hand and biosystems analysis on the other, our previous experience continues to be a valuable guide.
Keywords: Logic programming, termination verification, program transformation
