Property driven design of static program analyses

Informations projet

SAMIR GENAIM

N° de convention de subvention: HPMF-CT-2002-01848

Date de début 1 Octobre 2002

Date de fin 30 Septembre 2004

Financé au titre de

• Programme for research, technological development and demonstration on "Improving the human research potential and the socio-economic knowledge base" (1998-2002)

Coût total € 123 712,00

Contribution de l’UE € 123 712,00

Coordonné par

UNIVERSITA DEGLI STUDI DI VERONA
Italy

Objectif

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.

Programme(s)

• FP5-HUMAN POTENTIAL - Programme for research, technological development and demonstration on "Improving the human research potential and the socio-economic knowledge base" (1998-2002)

Thème(s)

Data not available

Appel à propositions

Data not available

Régime de financement

RGI - Research grants (individual fellowships)

Coordinateur

UNIVERSITA DEGLI STUDI DI VERONA

• Contribution de l’UE: Aucune donnée
• Adresse: Strada Le Grazie 15, Ca Vignal 2 ; 37134 VERONA ; Italie
• Coût total: Aucune donnée