Publications about Compiler Construction

TrafoLa [1] [2] is a functional language with powerful pattern matching that supports the specification of transformation rules as used in compiler construction. TrafoLa was developed in the ESPRIT project #390 PROSPECTRA.

The ESPRIT project #5399 COMPARE deals with the generation of compilers that execute the compiler phases in parallel. An approach to generate the supervising of these from a simple specification of the phases is described in [3] and [4]. The generators of the vectorization phase and of the type checking phase are described in [5] and [6]. The very first version [9] of the VCG tool was also a result of the project COMPARE. The demonstration report [14] presents the visualized compiler CLaX (COMPARE Language eXample) using the VCG tool .

More general Papers about compiler constructions: [7] contains a method of trace optimization in programs which contain jumps to exceptions. [8] describes the hardware design language LIRAN. The denotational semantics of LIRAN is developed that gives the base for proofs of correctness in transformations.

1
G. Sander: Entwicklung und Implementierung eines polymorphen Typsystems für die funktionale Programmiersprache TRAFOLA.
Diplomarbeit, Universität des Saarlandes, FB 14 Informatik, 1990

2
R. Heckmann, G. Sander: TrafoLa-H Reference Manual.
In B. Hoffmann, B. Krieg-Brückner, editors: Program development by Specification and Transformation. Lecture Notes in Computer Science 680, pp. 275-313, Springer Verlag, 1993

3
M. Alt, G. Sander, R. Wilhelm: Generation of Distributed Supervisors for Parallel Compilers.
Technical Report A01-93, Universität des Saarlandes, FB 14 Informatik, 1993

4
M. Alt, G. Sander, R. Wilhelm: Generation of Synchronization Code for Parallel Compilers.
In M. Bruynoghe, J. Penjam, editors: 5th International Symposium on Programming Language Implementation and Logic Programming. Lecture Notes in Computer Science 714, Springer Verlag, 1993

5
G. Sander, T. Vogelgesang: Generic vectorization of imperative programming languages.
Design report D 3.7.1-1, USAAR-1017-vector ESPRIT Project #5399 Compare, Universität des Saarlandes, FB 14 Informatik, 1992

6
M. Rennollet, G. Sander: TCG - A Type Checker Generator for Imperative Languages.
Design report D 3.8.1-1, USAAR-1033-tcgen, ESPRIT Project #5399 Compare, Universität des Saarlandes, FB 14 Informatik, 1993

7
P. G. Bouillon, G. Sander, R. Wilhelm: Lokale Optimierung ausnahmebehafteter Programme durch Spuroptimierung.
Informatik: Forschung und Entwicklung, 9(2), pp. 72-81, 1994

8
G. Sander: Syntax and Semantics of LIRAN.
SFB 124 C1, Report 01-94, Universität des Saarlandes, FB 14 Informatik, 1994

Publications about Graph Layout

VCG is a tool that generates and displays a layout of the graphs as they occur typically in compiler construction. VCG was designed and used in the ESPRIT project #5399 COMPARE [9]. Three technical paper [10] (shortened version is [11]), [13], [16], and a user documentation [12] describe the internals of the VCG tool . The demonstration report [14] presents an visualized compiler using the VCG tool . The survey paper [15] describes my interpretation of the state of the art of graph drawing for compiler construction. This is basically a very short and less formal extract of the more general parts of my Doctoral Thesis (the complete Thesis is [17]).
9
I. Lemke, G. Sander: Visualization of Compiler Graphs.
Design report D 3.12.1-1, USAAR-1025-visual, ESPRIT Project #5399 Compare, Universität des Saarlandes, FB 14 Informatik, 1993

10
G. Sander: Graph Layout through the VCG Tool.
Technical Report A03-94, Universität des Saarlandes, FB 14 Informatik, 1994 (available as PostScript file, 177 KB).

11
G. Sander: Graph Layout through the VCG Tool.
In R. Tamassia, I. G. Tollis, editors: Graph Drawing, DIMACS International Workshop GD'94, Proceedings, Lecture Notes in Computer Science 894, pp. 194-205, Springer Verlag, 1995

12
G. Sander: VCG -- Visualization of Compiler Graphs.
Technical Report A01-95, Universität des Saarlandes, FB 14 Informatik, 1995, the most recent version of this document is the User Documentation of the VCG Tool (available as PostScript file, 389 KB).

13
G. Sander: A Fast Heuristic for Hierarchical Manhattan Layout.
In F. J. Brandenburg, ed.: Graph Drawing, Symposium on Graph Drawing GD'95, Proceedings, Lecture Notes in Computer Science 1027, pp. 447-458, Springer Verlag, 1996

14
G. Sander, M. Alt, C. Ferdinand, R. Wilhelm: CLaX, A Visualized Compiler.
In F. J. Brandenburg, ed.: Graph Drawing, Symposium on Graph Drawing GD'95, Proceedings, Lecture Notes in Computer Science 1027, pp. 459-462, Springer Verlag, 1996

15
G. Sander: Graph Layout for Applications in Compiler Construction.
Technical Report A01-96, Universität des Saarlandes, FB 14 Informatik, 1996 (available as PostScript file, 1.3 MB).

16
G. Sander: Layout of Compound Directed Graphs.
Technical Report A03-96, Universität des Saarlandes, FB 14 Informatik, 1996 (available as PostScript file, 116 KB).

17
G. Sander: Visualisierungstechniken für den Compilerbau.
Dissertation, Universität des Saarlandes, Technische Fakultät, published with Pirrot Verlag, 66125 Saarbrücken, ISBN 3-930714-20-5, 1996

Last change: 2.4.1999 Georg Sander / sander@cs.uni-sb.de