Graph transformation systems in Constraint Handling Rules [Elektronische Ressource] : improved methods for program analysis / Frank Raiser

GraphTransformationSystemsinConstraintHandlingRules:ImprovedMethodsforProgramAnalysisDISSERTATIONzurErlangungdesDoktorgradesDr.rer.nat.derFakultätfürIngenieurwissenschaftenundInformatikderUniversitätUlmFrankRaiserausFüssenUniversitätUlmFakultätfürIngenieurwissenschaftenundInformatikInstitutfürProgrammiermethodikundCompilerbauInstitutsdirektor: Prof.Dr.HelmuthPartschNovember2010Amtierender Dekan: Prof. Dr.-Ing. Klaus Dietmayer1. Gutachter: Prof. Dr. Dr. Thom Frühwirth (Ulm University)2. Gutachter: Prof. Dr. Enno Ohlebusch (Ulm University)3. Gutachter: Prof. Dr. Slim Abdennadher (German University in Cairo)Tag der Promotion: 09. November 2010AcknowledgmentsAs with any work of this size and scope, it only came to existence due to a seemingly randomchain of events and the more or less direct influence of other people. At this point, I wouldlike to take some time (or rather space) to express my gratitudes to those who are responsiblefor this work coming to fruition, probably as much as myself, if not more so.First and foremost, I want to thank my supervisor Thom Frühwirth. Through working forhim, I came to know about the intricacies involved in academic research, of which only veryfewarerelatedtoactualscientifictopics. Astheyearsprogressed, hesupportedmeinlearningthe ropes, which proved to be just as important for a doctoral career as the scientific contentitself.