Obiettivo 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. Programma(i) FP5-HUMAN POTENTIAL - Programme for research, technological development and demonstration on "Improving the human research potential and the socio-economic knowledge base" (1998-2002) Argomento(i) Data not available Invito a presentare proposte Data not available Meccanismo di finanziamento RGI - Research grants (individual fellowships) Coordinatore UNIVERSITA DEGLI STUDI DI VERONA Contributo UE Nessun dato Indirizzo Strada Le Grazie 15, Ca Vignal 2 37134 VERONA Italia Mostra sulla mappa Costo totale Nessun dato