Florian Haftmann

According to our database, Florian Haftmann authored at least 15 papers between 2005 and 2014.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2014

Discrete Summation.

Florian Haftmann

Arch. Formal Proofs, 2014

2013

Data Refinement in Isabelle/HOL.

Florian Haftmann, Alexander Krauss, Ondrej Kuncar, Tobias Nipkow

Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013

2012

A compiled implementation of normalisation by evaluation.

Klaus Aehlig, Florian Haftmann, Tobias Nipkow

J. Funct. Program., 2012

2010

CTP-based programming languages?: considerations about an experimental design.

Florian Haftmann, Cezary Kaliszyk, Walther Neuper

ACM Commun. Comput. Algebra, 2010

From higher-order logic to Haskell: there and back again.

Florian Haftmann

Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2010

Code Generation via Higher-Order Rewrite Systems.

Florian Haftmann, Tobias Nipkow

Proceedings of the Functional and Logic Programming, 10th International Symposium, 2010

2009

Code generation from specifications in higher-order logic.

Florian Haftmann

PhD thesis, 2009

Turning Inductive into Equational Specifications.

Stefan Berghofer, Lukas Bulwahn, Florian Haftmann

Proceedings of the Theorem Proving in Higher Order Logics, 22nd International Conference, 2009

2008

Local Theory Specifications in Isabelle/Isar.

Florian Haftmann, Makarius Wenzel

Proceedings of the Types for Proofs and Programs, International Conference, 2008

Imperative Functional Programming with Isabelle/HOL.

Lukas Bulwahn, Alexander Krauss, Florian Haftmann, Levent Erkök, John Matthews

Proceedings of the Theorem Proving in Higher Order Logics, 21st International Conference, 2008

A Compiled Implementation of Normalization by Evaluation.

Klaus Aehlig, Florian Haftmann, Tobias Nipkow

Proceedings of the Theorem Proving in Higher Order Logics, 21st International Conference, 2008

2007

A framework for efficient regression tests on database applications.

Florian Haftmann, Donald Kossmann, Eric Lo

VLDB J., 2007

2006

Constructive Type Classes in Isabelle.

Florian Haftmann, Makarius Wenzel

Proceedings of the Types for Proofs and Programs, International Workshop, 2006

2005

Parallel Execution of Test Runs for Database Application Systems.

Florian Haftmann, Donald Kossmann, Eric Lo

Proceedings of the 31st International Conference on Very Large Data Bases, Trondheim, Norway, August 30, 2005

Efficient Regression Tests for Database Applications.

Florian Haftmann, Donald Kossmann, Alexander Kreutz

Proceedings of the Second Biennial Conference on Innovative Data Systems Research, 2005