Abstract Interpretation, type systems and control-flow analysis

Data inizio
26 novembre 2000
Durata (mesi) 
24
Dipartimenti
Informatica
URL
http://nutella.di.unipi.it/cofin00/

Enti finanziatori:

Ministero dell'Istruzione dell'Università e della Ricerca
Finanziamento: assegnato e gestito dal dipartimento

Partecipanti al progetto

Roberto Giacobazzi
Professore ordinario
Isabella Mastroeni
Professore associato
Nicola Fausto Spoto
Professore associato
Pubblicazioni
Titolo Autori Anno
Bisimulation congruences in safe ambients Merro, Massimo; Hennessy, Matthew 2002

Attività

Strutture