Publications

---

DISCLAIMER: This directory contains postscript files of articles that may be covered by copyright. You may browse the articles at your convenience (in the same spirit as you may read a journal or a proceeding article in a public library). Retrieving, copying, distributing these files may violate the copyright protection law.

---

Implementation of the Functional Transformation Language TRAFOLA

• Christian Ferdinand:
  Pattern Matching in TRAFOLA
  Diplomarbeit, Universität des Saarlandes, FB 14 Informatik, 1990

• Martin Alt, Christian Fecht, Christian Ferdinand, Reinhard Wilhelm:
  The TrafoLa-H Subsystem
  In B. Hoffmann, B. Krieg-Brückner, eds., Program development by Specification and Transformation. LNCS 680, pages 539-576, Springer, 1993

• Christian Ferdinand:
  Pattern Matching in a Functional Transformation Language Using Treeparsing
  In P. Deransart and J. Maluszynski, eds., Programming Language Implementation and Logic Programming PLDI'90, LNCS 456, pages 358--371, Springer, 1990

---

Code Selection

• Christian Ferdinand, Helmut Seidl, Reinhard Wilhelm:
  Baumautomaten zur Codeselektion
  In W.J. Paul, J. Buchmann, H. Ganzinger, eds., Festschrift zum 60. Geburtstag von Günter Hotz, pages 121-144, Saarbrücken, Germany, 1992

• Christian Ferdinand, Helmut Seidl, Reinhard Wilhelm:
  Tree automata for code selection
  In R. Giegerich and S. L. Graham, eds., Code Generation -- Concepts, Tools, Techniques, pages 31-50, Springer, Workshops in Computing, 1992

• Christian Ferdinand, Helmut Seidl, Reinhard Wilhelm:
  Tree automata for code selection
  Acta Informatica, volume 31, pages 741-760, Springer, 1994
  postscript file

---

Compiler Visualization

• Georg Sander, Martin Alt, Christian Ferdinand, Reinhard Wilhelm:
  CLaX, A Visualized Compiler
  In F. J. Brandenburg, ed., Graph Drawing, Symposium on Graph Drawing GD'95, LNCS 1027, pages 459-462, Springer, 1996

• Martin Alt, Christian Ferdinand, Georg Sander:
  Graph Visualisation in a Compiler Project
  In P. Eades, Z. Khang, eds., Software Visualisation, World Scientific, 1996

---

Timing Analysis for Real-Time Systems

• Martin Alt, Christian Ferdinand, Florian Martin, Reinhard Wilhelm:
  Cache Behavior Prediction by Abstract Interpretation
  In SAS'96, Static Analysis Symposium , LNCS 1145, pages 52-66, Springer, 1996
  postscript file

• Martin Alt, Christian Ferdinand, Florian Martin, Reinhard Wilhelm:
  Cache Behavior Prediction by Abstract Interpretation (Extended Abstract)
  In the proceedings of the GI Workshop "Alternative Konzepte für Sprachen und Rechner", PARS Mitteilungen, Nr. 15, pages 49-58, 1996
  postscript file

• Christian Ferdinand, Florian Martin, Reinhard Wilhelm:
  Applying Compiler Techniques to Cache Behavior Prediction
  In Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers and Tools for Real-Time System (LCTRTS)
  Las Vegas, Nevada, pages 37-46, 1997
  postscript file

• Christian Ferdinand, Florian Martin, Reinhard Wilhelm, Martin Alt:
  Cache Behavior Prediction by Abstract Interpretation
  Universität des Saarlandes, Sonderforschungsbereich 124, Technical Report 05/97, 1997

• Christian Ferdinand, Reinhard Wilhelm:
  Laufzeitgarantien auf Prozessoren mit Caches
  Universität des Saarlandes, Sonderforschungsbereich 124, Two page handout (german), September, 1997
  postscript file

• Christian Ferdinand, Reinhard Wilhelm:
  Fast and Efficient Cache Behavior Prediction
  Universität des Saarlandes, 10 page handout, September, 1997
  postscript file

• Christian Ferdinand:
  A Fast and Efficient Cache Persistence Analysis
  Universität des Saarlandes, Sonderforschungsbereich 124, Technical Report 10/97, 1997
  

• Christian Ferdinand:
  Cache Behavior Prediction for Real-Time Systems
  Dissertation, Universität des Saarlandes, Pirrot Verlag, Saarbrücken, ISBN-NR.: 3-9307140-31-0, 1997
  

---