Specifying Analyses

• specialized functional language FULA

• allows concise specifications

• direct support of distributive analysis frameworks

• ML like syntax

• easy composition of lattices

• efficient implementation

Vorherige Folie

Nächste Folie

Zurück zur ersten Folie

Graphik-Version anzeigen