Auflistung nach Autor:in "Raiser, Frank"
1 - 1 von 1
Treffer pro Seite
Sortieroptionen
- TextdokumentGraphtransformationssyteme in Constraint Handling Rules: Verbesserte Methoden zur Programmanalyse(Ausgezeichnete Informatikdissertationen 2010, 2011) Raiser, FrankConstraint Handling Rules (CHR) und Graphtransformationssysteme (GTS) sind regelbasierte Formalismen. In dieser Arbeit wird eine kompakte äquivalenzbasierte Semantik für CHR vorgestellt. Darauf aufbauend werden bestehende Programmanalysemethoden für CHR verbessert. Abschließend wird ein Vergleich von CHR und GTS durchgeführt, indem GTS in CHR eingebettet werden und CHR Programmanalysen auf Graphtransformationssysteme angewandt werden.