Software and Systems Engineering

TU München - Fakultät für Informatik
Lehrstuhl IV: Software & Systems Engineering

Florian Haftmann, Donald Kossmann, Alexander Kreutz: Efficient Regression Tests for Database Application Systems. CIDR 2005: 95-106.
Florian Haftmann, Donald Kossmann, Eric Lo: Parallel Execution of Test Runs for Database Application Systems. VLDB 2005: 589-600.
Florian Haftmann, Makarius Wenzel: Constructive Type Classes in Isabelle. BibTeX.
Lukas Bulwahn, Alexander Krauss, Florian Haftmann, Levent Erkök, John Matthews: Imperative Functional Programming with Isabelle/HOL. BibTeX.
Klaus Aehlig, Florian Haftmann, Tobias Nipkow: A Compiled Implementation of Normalization by Evaluation. BibTeX.
Stefan Berghofer, Lukas Bulwahn, Florian Haftmann: Turning inductive into equational specifications. BibTeX.
Florian Haftmann, Makarius Wenzel: Local theory specifications in Isabelle/Isar. BibTeX.
Florian Haftmann: Code Generation from Specifications in Higher Order Logic. PhD thesis.
Florian Haftmann: From Higher-Order Logic to Haskell: There and Back Again. BibTeX.
Florian Haftmann, Tobias Nipkow: Code Generation via Higher-Order Rewrite Systems. BibTeX.
Klaus Aehlig, Florian Haftmann, Tobias Nipkow: A Compiled Implementation of Normalization by Evaluation. BibTeX.