FP5Individual fellowship2002–2004
SAMIR GENAIM · Property driven design of static program analyses
FP5 — Improving Human Research Potential
- Duration
- 2002-10-01 → 2004-09-30
- EU contribution
- €123,712
- Participants
- 1
- Scheme
- RGI
Lines connect the coordinator with its partners.
Project objective
Provide systematic methods for designing program analyses that satisfy a given property, and study systematic design methods for abstract interpretation frameworks other than the standard adjoint framework.
Original text from CORDIS.
Participants
- UNIVERSITA DEGLI STUDI DI VERONA · VERONACoordinatorItaly
Links
Data: CORDIS, © European Union