Skip to main content
European Commission logo print header

Property driven design of static program analyses

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.

Topic(s)

Data not available

Call for proposal

Data not available

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