ALF User's Manual (with Andreas Schwab)
Available:
PDF Compiling Logic Programs with Equality
2nd International Workshop on Programming Language Implementation and Logic Programming (PLILP'90), Springer LNCS 456, pp. 387-401, 1990
Available:
Abstract DVI BibTeX-Entry
Efficient Implementation of Narrowing and Rewriting
International Workshop on Processing Declarative Knowledge (PDK'91), Springer LNAI 567, pp. 344-365, 1991
Available:
Abstract DVI BibTeX-Entry
Improving Control of Logic Programs by Using Functional Logic Languages
4th International Symposium on Programming Language Implementation and Logic Programming (PLILP'92), Springer LNCS 631, pp. 1-23, 1992
Available:
Abstract DVI BibTeX-Entry
Incremental Rewriting in Narrowing Derivations
3rd International Conference on Algebraic and Logic Programming (ALP'92), Springer LNCS 632, pp. 228-243, 1992
Available:
Abstract DVI BibTeX-Entry
A Debugging Model for Functional Logic Programs (with Berthold Josephs)
5th International Symposium on Programming Language Implementation and Logic Programming (PLILP'93), Springer LNCS 714, pp. 28-43, 1993
Available:
Abstract DVI BibTeX-Entry
Towards the Global Optimization of Functional Logic Programs
5th International Conference on Compiler Construction (CC'94), Springer LNCS 786, pp. 68-82, 1994
Available:
Abstract DVI BibTeX-Entry
Mode Analysis of Functional Logic Programs (with Frank Zartmann)
1st International Static Analysis Symposium (SAS'94), Springer LNCS 864, pp. 26-42, 1994
Available:
Abstract DVI BibTeX-Entry