Search the dblp DataBase

Publications of Author

1. Florian Haftmann, Donald Kossmann, Alexander Kreutz
   Efficient Regression Tests for Database Applications. [Citation Graph (0, 0)][DBLP]
   CIDR, 2005, pp:95-106 [Conf]
   
2. Florian Haftmann, Donald Kossmann, Eric Lo
   Parallel Execution of Test Runs for Database Application Systems. [Citation Graph (0, 0)][DBLP]
   VLDB, 2005, pp:589-600 [Conf]
   
3. Florian Haftmann, Donald Kossmann, Eric Lo
   A framework for efficient regression tests on database applications. [Citation Graph (0, 0)][DBLP]
   VLDB J., 2007, v:16, n:1, pp:145-164 [Journal]
   
4. Florian Haftmann, Makarius Wenzel
   Constructive Type Classes in Isabelle. [Citation Graph (0, 0)][DBLP]
   TYPES, 2006, pp:160-174 [Conf]
   
5. 
   Code Generation via Higher-Order Rewrite Systems. [Citation Graph (, )][DBLP]
   
   
6. 
   From higher-order logic to Haskell: there and back again. [Citation Graph (, )][DBLP]
   
   
7. 
   Imperative Functional Programming with Isabelle/HOL. [Citation Graph (, )][DBLP]
   
   
8. 
   A Compiled Implementation of Normalization by Evaluation. [Citation Graph (, )][DBLP]
   
   
9. 
   Turning Inductive into Equational Specifications. [Citation Graph (, )][DBLP]
   
   
10. 
    Local Theory Specifications in Isabelle/Isar. [Citation Graph (, )][DBLP]