Skip to main content
European Commission logo print header

Property driven design of static program analyses

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 available

Aufforderung zur Vorschlagseinreichung

Data not available

Koordinator

UNIVERSITA DEGLI STUDI DI VERONA
EU-Beitrag
Keine Daten
Adresse
Strada Le Grazie 15, Ca Vignal 2
37134 VERONA
Italien

Auf der Karte ansehen

Gesamtkosten
Keine Daten