Was ist PAG
Generiert Implementierungen von monotonen Datenflußproblemen
Nimmt eine Spezifikation als Eingabe
Erzeugt ANSI C Code, der in einen Compiler integriert werden kann
Verwendbar für Lehre, Forschung und für industrielle Produkte
Unterstützt imperative, objektorientierte und logische Programmiersprachen