Objetivo 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. Programa(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) Tema(s) Data not available Convocatoria de propuestas Data not available Régimen de financiación RGI - Research grants (individual fellowships) Coordinador UNIVERSITA DEGLI STUDI DI VERONA Aportación de la UE Sin datos Dirección Strada Le Grazie 15, Ca Vignal 2 37134 VERONA Italia Ver en el mapa Coste total Sin datos