Graphtransformationssyteme in Constraint Handling Rules: Verbesserte Methoden zur Programmanalyse

Zusammenfassung
Constraint 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.
  • Vollständige Referenz
  • BibTeX
Raiser, F., (2011). Graphtransformationssyteme in Constraint Handling Rules: Verbesserte Methoden zur Programmanalyse. In: Hölldobler, S. & , . (Hrsg.), Ausgezeichnete Informatikdissertationen 2010. Bonn: Gesellschaft für Informatik. (S. 241-250).
@inproceedings{mci/Raiser2011,
author = {Raiser, Frank},
title = {Graphtransformationssyteme in Constraint Handling Rules: Verbesserte Methoden zur Programmanalyse},
booktitle = {Ausgezeichnete Informatikdissertationen 2010},
year = {2011},
editor = {Hölldobler, Steffen AND et al.} ,
pages = { 241-250 },
publisher = {Gesellschaft für Informatik},
address = {Bonn}
}
DateienGroesseFormatAnzeige
241.pdf520.2Kb PDF Öffnen

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken

Mehr Information

ISBN: 978-3-88579-415-8
ISSN: 1617-5468
Datum: 2011
Sprache: de (de)
Sammlungen

Zur Langanzeige