Property driven design of static program analyses

Starting date
March 15, 2003
Duration (months)
24
Departments
Computer Science
Managers or local contacts
Giacobazzi Roberto
Keyword
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.

Sponsors:

Commissione Europea
Funds: assigned and managed by the department

Project participants

Roberto Giacobazzi
Full Professor

Activities

Research facilities