Gilberto File`

Professore di Informatica del Dipartimento di Matematica dell'Universita` di Padova
Torre Archimede stanza 404 ala A-B, via Trieste 63, 35121, Padova, Italia.
Telefono: ++39-049-827-1489
Orario di ricevimento studenti: lunedi 14:30-16:30

Programmazione (I anno, Laurea Triennale) e Linguaggi di Programmazione (I anno, Laurea Magistrale)

• analisi statica dei programmi
• verifica di protocolli di comunicazione

A.Cortesi, G.File` and W.Winsborough   The Quotient of an Abstract Interpretation.
Theoretical Computer Science, 202 (1998), 163-192.

Agostino Cortesi, Gilberto File`
Sharing is optimal.
Journal of Logic Programming vol. 38 (3) (1999), pp. 371-386.

Gilberto File`, Francesco Ranzato
The powerset operator on abstract interpretations.
Theoretical Comp. Science,  222 (1999), pp. 77-111.

Dante Baldan, Nicola Civran, Gilberto File`, Francesco Pulvirenti
A simple and General Method for Integrating Abstract
Interpretation in SICStus.
Proceeding of PPDP'99, Paris.

Livio Colussi, Gilberto File`, Alberto Griggio
Precise analysis of pi-calculus in cubic time
Proceedings of IFIP 18th World Computer Congress, TCS2004, Toulouse, Francia.

Gilberto File`, Roberto Vigo
Expressive Power of Definite Clauses for Verifying Authenticity
Proceedings of IEEE, Symposium CSF 2009, Port Jefferson, USA.