Studienarbeit

[Grund04]

Daniel Grund, Negative Anwendungsbedingungen für den Graphersetzer GrGen, IPD Goos, 2004.

Zusammenfassung

Das Graphersetzungssystem GrGen erzeugt Graphersetzer nach dem SPO-Ansatz. Die erzeugten Ersetzer sind in das am IPD entwickelte Übersetzer-Rahmenwerk CRS integriert. Die Verwendung von Graphersetzern zur Manipulation einer graphbasierten Zwischendarstellung (wie FIRM) stellt besondere Anforderungen an den Musterfinder (Matcher) des Graphersetzers. So soll das Finden eines Musters unter bestimmten Umständen vom Kontext des Mustergraphen im Programmgraphen abhängig gemacht werden. Dies leisten sogenannte negative Anwendungsbedingungen (NACs, Negative Application Conditions), die im Agg Projekt an der TU Berlin entwickelt wurden. Deren Theorie fügt sich nahtlos in den SPO-Ansatz ein. Ziel der Studienarbeit ist die Erweiterung der GrGen-Musterfinder um jene NACs.

Autoren

Ex-Studenten Daniel Grund