Graphtransformationssyteme in Constraint Handling Rules: Verbesserte Methoden zur Programmanalyse

dc.contributor.author	Raiser, Frank
dc.contributor.editor	Hölldobler, Steffen
dc.date.accessioned	2020-08-21T08:46:23Z
dc.date.available	2020-08-21T08:46:23Z
dc.date.issued	2011
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.identifier.isbn	978-3-88579-415-8
dc.identifier.pissn	1617-5468
dc.identifier.uri	https://dl.gi.de/handle/20.500.12116/33771
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
gi.citation.endPage	250
gi.citation.publisherPlace	Bonn
gi.citation.startPage	241

Dateien

1 - 1 von 1