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. 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) Topic(s) Data not available Call for proposal Data not available Funding Scheme RGI - Research grants (individual fellowships) Coordinator UNIVERSITA DEGLI STUDI DI VERONA EU contribution No data Address Strada Le Grazie 15, Ca Vignal 2 37134 VERONA Italy See on map Total cost No data