Bibliography

AKPG97

Hassan Aït-Kaci, Andreas Podelski, and Seth Copen Goldstein.
Order sorted feature theory unification.
Journal of Logic Programming, 30(2):99-124, February 1997.

Aßm94

Uwe Aßmann.
On Edge Addition Rewrite Systems and Their Relevance to Program Analysis.
In J. Cuny, H. Ehrig, G. Engels, and G. Rozenberg, editors, 5th Int. Workshop on Graph Grammars and Their Application To Computer Science, Williamsburg, volume 1073 of Lecture Notes in Computer Science, pages 321-335, Heidelberg, November 1994. Springer.

Aßm95

Uwe Aßmann.
Generierung von Programmoptimierungen mit Graphersetzungssystemen.
PhD thesis, Universität Karlsruhe, Oldenbourg-Verlag, München, July 1995.
GMD-Bericht 262.

Aßm96a

Uwe Aßmann.
Graph Rewrite Systems For Program Optimization.
Technical Report RR-2955, INRIA Rocquencourt, 1996.

Aßm96b

Uwe Aßmann.
How To Uniformly Specify Program Analysis and Transformation.
In P. A. Fritzson, editor, Compiler Construction (CC), volume 1060 of Lecture Notes in Computer Science, pages 121-135, Heidelberg, 1996. Springer.

Aßm98

Uwe Aßmann.
A Tutorial for OPTIMIX.
Technical Report 14, Universität Karlsruhe, 1998.
Available at http://i44www.info.uni-karlsruhe.de/~ assmann/optimix.html.

ASU72

A. V. Aho, R. Sethi, and J. D. Ullman.
Code Optimization And Finite Church-Rosser Systems.
In R. Rustin, editor, Design and Optimization of Compilers, pages 89-105. Prentice-Hall, Englewood Cliffs, NJ, 1972.

Buh95

Claus-Thomas Buhl.
fSDL Language Report.
Technical report, COMPARE Consortium, 1995.
Contact info@ace.nl.

CGT89a

S. Ceri, G. Gottlob, and L. Tanca.
Logic Programming and Databases.
Springer, Heidelberg, 1989.

CGT89b

S. Ceri, G. Gottlob, and L. Tanca.
What You Always Wanted to Know About Datalog (And Never Dared to Ask).
IEEE Transactions on Knowledge And Data Engineering, 1(1):146-166, March 1989.

GE90

Josef Grosch and Helmut Emmelmann.
A tool box for compiler construction.
In LNCS 477: Compiler Compilers; Third International Workshop, CC'90; Schwerin, FRG; Proceedings. Springer, October 1990.

Gro89

Josef Grosch.
Ast - A Generator for Abstract Syntax Trees.
Technical report, Gesellschaft fuer Mathematik und Datenverarbeitung, Forschungstelle Karlsruhe, August 1989.
Language manual.

Nag79

M. Nagl.
Graph-Grammatiken, Theorie, Implementierung, Anwendungen.
Vieweg, Braunschweig, 1979.

RSS92

R. Ramakrishnan, D Srivastava, and S. Sudarshan.
CORAL - Control, Relations and Logic.
In Proceedings of the 18th VLDB Conference, 1992.

Tar81

R. E. Tarjan.
A unified approach to path problems.
Journal of the ACM, 28(3):577-593, July 1981.