Abstract Interpretation, type systems and control-flow analysis

  1. Home
  2. Ricerca
  3. Progetti
  4. 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à

Aree di ricerca

Gruppi di ricerca

Dottorati di Ricerca

Strutture

Condividi