Property driven design of static program analyses

Data inizio
15 marzo 2003
Durata (mesi) 
24
Dipartimenti
Informatica
Responsabili (o referenti locali)
Giacobazzi Roberto
Parole chiave
abstract interpretation, static program analysis

Provide systematic methods for designing a program
analyses to satisfy a given property, and study the
systematic design methods for abstract interpretation
frameworks other than the adjoint frmaework.

Enti finanziatori:

Commissione Europea
Finanziamento: assegnato e gestito dal dipartimento

Partecipanti al progetto

Roberto Giacobazzi
Professore ordinario

Attività

Strutture