Cel 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. Program(-y) FP5-HUMAN POTENTIAL - Programme for research, technological development and demonstration on "Improving the human research potential and the socio-economic knowledge base" (1998-2002) Temat(-y) Data not available Zaproszenie do składania wniosków Data not available System finansowania RGI - Research grants (individual fellowships) Koordynator UNIVERSITA DEGLI STUDI DI VERONA Wkład UE Brak danych Adres Strada Le Grazie 15, Ca Vignal 2 37134 VERONA Włochy Zobacz na mapie Koszt całkowity Brak danych