Habilitation Christoph Lüth
This page contains the online version of my habiliation thesis, Formal Software Development: From Foundations to Tools comprising an overview, the CV complete with publication and teaching history etc, and the appendix of papers comprising the thesis (NB. for older papers a PDF version may not be available):
- Einar Broch Johnsen, Christoph Lüth:
Abstracting Refinements for Transformation.
Nordic Journal of Computing, 10: 316-- 336, 2004.
[Abstract] [PDF] [PostScript] - Neil Ghani, Christoph Lüth:
Rewriting via Coinserters.
Nordic Journal of Computing, 10:290-- 312, 2004.
[Abstract] [PDF] [PostScript] - Christoph Lüth:
Haskell in Space. An interactive game as a functional programming exercise.
Eductional Pearl, Journal of Functional Programming, 13(6): 1077- 1085, November 2003.
[Abstract] [PDF] [PostScript] - Neil Ghani, Christoph Lüth, Federico deMarchi:
Monads of Coalgebras: Rational Terms and Term Graphs.
To appear in Mathematical Structures in Computer Science.
[Abstract] [PDF] [PostScript] - Federico deMarchi, Neil Ghani, Christoph Lüth:
Solving Algebraic Equations using Coalgebra.
Theoretical Informatics and Applications, 37:301-- 314, 2003.
[Abstract] [PDF] [PostScript] - Neil Ghani, Christoph Lüth, Federico de Marchi, John Power:
Dualizing Initial Algebras.
Mathematical Structures in Computer Science, 13(2):349- 370, 2003.
[Abstract] [PDF] [PostScript] - Christoph Lüth, Burkhart Wolff:
Functional Design and Implementation of Graphical User Interfaces for Theorem Provers.
Journal of Functional Programming, 9(2): 167- 189, March 1999.
[Abstract] [PDF] [PostScript] - Micheal Abbot, Neil Ghani, Christoph Lüth:
Abstract Modularity.
Rewriting Techniques and Applications RTA'05, Nara, Japan, April 2005.
Springer LNCS 3467
[Abstract] [PostScript] [PDF] - Einar Broch Johnsen, Christoph Lüth:
Theorem Reuse by Proof Term Transformation.
International Conference on Theorem Proving in Higher-Order Logics TPHOLs 2004.
Springer LNCS 3223
[Abstract] [PostScript] [PDF] - Christoph Lüth, Markus Roggenbach, Lutz Schröoder:
CCC - The CASL Consistency Checker.
Recent Trends in Algebraic Development Techniques, 16th International Workshop (WADT 2004), Barcelona, April 2004.
Springer LNCS 3423
[Abstract] [PostScript] [PDF] - Lutz Schröder, Till Mossakowski, Christoph Lüth:
Type class polymorphism in an institutional framework.
Recent Trends in Algebraic Development Techniques, 16th International Workshop (WADT 2004), Barcelona, April 2004.
Springer LNCS 3423
[Abstract] [PostScript] [PDF] - David Aspinall, Christoph Lüth:
Proof General meets IsaWin --- Combining Text-Based And Graphical User Interfaces.
International Workshop on User Interfaces for Theorem Provers (UITP'03), Rome, Italy, Sept. 2003.
Electronic Notes in Theoretical Computer Science, Vol 103:C
[Abstract] [PDF] [ScienceDirect (online-version)] - Christoph Lüth, Neil Ghani:
Composing Monads Using Coproducts.
Seventh ACM SIGPLAN International Conference on Functional Programmin ICFP'02. Pittsburgh, Pa, USA, October 2002. ACM Press.
[Abstract] [PostScript] [PDF] - Christoph Lüth, Neil Ghani:
Monads and Modularity.
4th International Workshop on Frontiers of Combining Systems FroCoS 2002. Santa Margherita Ligure, Italy, April 2002.
Springer LNAI 2309
[Abstract] [PostScript] [PDF] - Christoph Lüth, Burkhart Wolff:
TAS --- A Generic Window Inference System.
13th International Conference on Theorem Proving and Higher Order Logics. Portland, Oregon, August 2000.
Springer LNCS 1869
[Abstract] [PostScript] [PDF] - Christoph Lüth, Burkhart Wolff:
More About TAS and IsaWin --- Tools for Formal Program Development.
European Joint Conferences on Theory and Practice of Software ETAPS 2000. Berlin, Germany, March 2000.
Springer LNCS 1783
[PostScript] - Christoph Lüth, Haykal Tej, Kolyang, Bernd Krieg-Brückner:
TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving.
European Joint Conference on Theory and Practice of Software ETAPS'99. Amsterdam, The Netherlands, March 1999.
Springer LNCS 1577
[PostScript] - Christoph Lüth, Einar W. Karlsen, Kolyang, Stefan Westmeier, Burkhart Wolff:
HOL-Z in the UniForM-Workbench -- a Case Study in Tool Integration for Z.
11. International Conference of Z Users ZUM'98. Berlin, Germany, September 1997.
Springer LNCS 1493
[Abstract] [PostScript] - Christoph Lüth, Neil Ghani:
Monads and Modular Term Rewriting.
Category Theory and Computer Science, 7th Internal Conference CTCS'97, Santa Margherita Ligure, Italy, September 1997. Springer LNCS 1290.
[Abstract] [PostScript] [PDF]