Abstract Interpretation, type systems and control-flow analysis

  1. Home
  2. Research
  3. Projects
  4. Abstract Interpretation, type systems and control-flow analysis
Starting date
November 26, 2000
Duration (months)
24
Departments
Computer Science
URL
http://nutella.di.unipi.it/cofin00/

Sponsors:

Ministero dell'Istruzione dell'Università e della Ricerca
Funds: assigned and managed by the department

Project participants

Roberto Giacobazzi
Full Professor
Isabella Mastroeni
Associate Professor
Nicola Fausto Spoto
Associate Professor
Publications
Title Authors Year
Bisimulation congruences in safe ambients Merro, Massimo; Hennessy, Matthew 2002

Activities

Research areas

Research groups

PhD Programmes

Research facilities