Graphtransformationssyteme in Constraint Handling Rules: Verbesserte Methoden zur Programmanalyse

dc.contributor.author	Raiser, Frank
dc.contributor.editor	Hölldobler, Steffen
dc.contributor.editor	et al.
dc.date.accessioned	2020-08-21T08:46:23Z
dc.date.available	2020-08-21T08:46:23Z
dc.date.issued	2011
dc.identifier.isbn	978-3-88579-415-8
dc.identifier.issn	1617-5468
dc.identifier.uri	http://dl.gi.de/handle/20.500.12116/33771
dc.description.abstract	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.	de
dc.language.iso	de
dc.publisher	Gesellschaft für Informatik
dc.relation.ispartof	Ausgezeichnete Informatikdissertationen 2010
dc.relation.ispartofseries	Lecture Notes in Informatics (LNI) - Dissertations, Volume D-11
dc.title	Graphtransformationssyteme in Constraint Handling Rules: Verbesserte Methoden zur Programmanalyse	de
dc.pubPlace	Bonn
mci.reference.pages	241-250