Raiser, FrankHölldobler, Steffen2020-08-212020-08-212011978-3-88579-415-8https://dl.gi.de/handle/20.500.12116/33771Constraint 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.de1617-5468