Florian Haftmann

15 papers A* 1A 1B 1C 1Misc 1Journal 4Unranked 5
YearRankTypeTitle / Venue / Authors
2014 J jnl
Discrete Summation.
Arch. Formal Proofs
Florian Haftmann
2013 B conf
Data Refinement in Isabelle/HOL.
ITP
Florian Haftmann, Alexander Krauss, Ondrej Kuncar, Tobias Nipkow
2012 J jnl
A compiled implementation of normalisation by evaluation.
J. Funct. Program.
Klaus Aehlig, Florian Haftmann, Tobias Nipkow
2010 J jnl
CTP-based programming languages?: considerations about an experimental design.
ACM Commun. Comput. Algebra
Florian Haftmann, Cezary Kaliszyk, Walther Neuper
2010 Misc conf
Code Generation via Higher-Order Rewrite Systems.
FLOPS
Florian Haftmann, Tobias Nipkow
2010 C conf
From higher-order logic to Haskell: there and back again.
PEPM
Florian Haftmann
2009 — —
Code generation from specifications in higher-order logic.
Florian Haftmann
2009 — conf
Turning Inductive into Equational Specifications.
TPHOLs
Stefan Berghofer, Lukas Bulwahn, Florian Haftmann
2008 — conf
A Compiled Implementation of Normalization by Evaluation.
TPHOLs
Klaus Aehlig, Florian Haftmann, Tobias Nipkow
2008 — conf
Imperative Functional Programming with Isabelle/HOL.
TPHOLs
Lukas Bulwahn, Alexander Krauss, Florian Haftmann, Levent Erkök, John Matthews
2008 — conf
Local Theory Specifications in Isabelle/Isar.
TYPES
Florian Haftmann, Makarius Wenzel
2007 J jnl
A framework for efficient regression tests on database applications.
VLDB J.
Florian Haftmann, Donald Kossmann, Eric Lo
2006 — conf
Constructive Type Classes in Isabelle.
TYPES
Florian Haftmann, Makarius Wenzel
2005 A conf
Efficient Regression Tests for Database Applications.
CIDR
Florian Haftmann, Donald Kossmann, Alexander Kreutz
2005 A* conf
Parallel Execution of Test Runs for Database Application Systems.
VLDB
Florian Haftmann, Donald Kossmann, Eric Lo