Ziel
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.
Thema/Themen
Data not availableAufforderung zur Vorschlagseinreichung
Data not availableFinanzierungsplan
RGI - Research grants (individual fellowships)Koordinator
37134 VERONA
Italien