Misc / Verschiedenes

DFG Research Project: Automatic correctness proofs of program transformations
Diploma thesis: Automatische Prüfung und Berechnung von Überlappungen zum Vollständigkeitsnachweis von Diagrammen in Programmiersprachen höherer Ordnung (2009)

Slides of talks

Slides of the talk at IJCAR 2012 - The 6th International Joint Conference on Automated Reasoning, 2012, Manchester, UK, 29/June/2012: Correctness of Program Transformations as a Termination Problem
Slides of the talk at 12th International Workshop on Termination, 2012, Obergurgl, Austria, 19/February/2012: Encoding Induction in Correctness Proofs of Program Transformations as a Termination Problem
Slides of the talk at 25th International Workshop on Unification, 2011, Wroclaw, Poland, 31/July/2011: A Unification Algorithm to Compute Overlaps in a Call-by-Need Lambda-Calculus with Variable-Binding Chains
Slides of the talk at 24th International Workshop on Unification, 2010, Edinburgh, UK, 14/July/2010: Towards Correctness of Program Transformations Through Unification and Critical Pair Computation

$Author: rau $, $Date: 2013/08/04 06:47:54 $
uni ffm © 1997, 2004