National Research Project: COFIN'00

Project Title

Abstract Interpretation, type systems and control-flow analysis

Kind

Collaborative MURST Project between the universities of Pisa, Torino, Venezia, Verona (COFIN'00).

Period

February 2001 - February 2003.

National Coordinator

Prof. Giorgio Levi.

Local Members

Prof. Roberto Bagnara
Dr. Enea Zaffanella

[Page last updated on January 24, 2005, 14:47:56.]