Paper
Here you find a small collection of some of my work.
- S. E. Panitz: Java Annotations for Algebraic Data Types (DRAFT, April 2005 )
- S. E. Panitz: The Scrap Your
Boilerplate Pattern in Java (DRAFT, March 2005 )
- S. E. Panitz: A Simple Parser Combinator
Library in C++ (DRAFT, December 2004 )
- Panitz, S. E., Schmidt-Schauß, M.: TEA:
Automatically proving termination of programs in a non-strict higher-order
functional language
Proc. of the Static Analysis Symposium, LNCS 1302, Springer-Verlag, pp. 345-360, (1997)
- Schmidt-Schauß, M., Panitz, S. E.:
Proving Termination of Higher-Order Functional Programs
with a Tableau-like Calculus
Position paper presented at the Tableaux '97
- S. E. Panitz:
Tinte: developing a prototype for typesetting music in
Clean -- a case study
description of the implementation of an typesetting program for classical
guitar music in Concurrent Clean. Some example music typeset with this system
can be found here.
- M. Schmidt-Schauß, S. E. Panitz, M. Schütz:
Strictness Analysis by Abstract Reduction Using a Tableau
Calculus
Proc. of the Static Analysis Symposium, LNCS 983, Springer-Verlag, pp. 348-365, (1995)
- S. E. Panitz: Default Reasoning with a Constraint Resolution
Principle
Proc. of LPAR'93, LNAI 698, Springer-Verlag, pp. 265-276, (1993)
