 | 2006 |
|---|
| 11 |       | Dieter Maurer:
Lazy Execution of Boolean Queries.
Program Analysis and Compilation 2006: 82-96 |
| 1997 |
|---|
| 10 |  | Reinhard Wilhelm,
Dieter Maurer:
Übersetzerbau - Theorie, Konstruktion, Generierung, 2. Auflage
Springer 1997 |
| 1992 |
|---|
| 9 | | Reinhard Wilhelm,
Dieter Maurer:
Übersetzerbau - Theorie, Konstruktion, Generierung
Springer 1992 |
| 1990 |
|---|
| 8 | | Dieter Maurer,
Martin Raber,
St. Ingbert:
Implementierung einer funktionalen Programmiersprache auf einem Transputernetz.
Entwurf und Betrieb verteilter Systeme 1990: 40-65 |
| 1989 |
|---|
| 7 | | Dieter Maurer,
Reinhard Wilhelm:
MaMa - eine abstrakte Maschine zur Implementierung funktionaler Programmiersprachen.
Inform., Forsch. Entwickl. 4(2): 67-88 (1989) |
| 1988 |
|---|
| 6 | | Dieter Maurer:
Relevanzanalyse: Eine Kombination von Striktheits- und Datenflußanalyse zur effizienten Auswertung funktionaler Programme
Springer 1988 |
| 5 | | Martin Raber,
Thomas Remmel,
Erwin Hoffmann,
Dieter Maurer,
Fritz Müller,
Hans-Georg Oberhauser,
Reinhard Wilhelm:
Complied Graph Reduction on a Processor Network.
ARCS 1988: 198-212 |
| 4 | | Gerhard Becker,
Brigitte Kuhn,
Dieter Maurer,
Reinhard Wilhelm:
SiATEX - eine interaktive Arbeitsumgeubng für TEX.
Innovative Informations-Infrastrukturen 1988: 162-169 |
| 1987 |
|---|
| 3 | | F. Warren Burton,
Dieter Maurer,
Hans-Georg Oberhauser,
Reinhard Wilhelm:
A Space-Efficient Optimization of Call-by-Need.
IEEE Trans. Software Eng. 13(6): 636-642 (1987) |
| 1986 |
|---|
| 2 | | Claus-Werner Lermen,
Dieter Maurer:
A Protocol for Distributed Reference Counting.
LISP and Functional Programming 1986: 343-350 |
| 1985 |
|---|
| 1 | | Dieter Maurer:
Strictness computation using special lambda-expressions.
Programs as Data Objects 1985: 136-155 |
