| 1992 |
| Tiziana Margaria.
Efficient RT-level verification by theorem proving,
Volume 1 of IFIP transactions / A, Computer science and technology, pages 696-702, North-Holland, 1992. |
| O. Burkart, B. Steffen.
Model checking for context-free processes,
Volume 92,6 of Aachener Informatik-Berichte, 1992. |
| W. Hans.
A complete indexing scheme for WAM-based abstract machines,
Volume 92,11 of Aachener Informatik-Berichte, 1992. |
| W. Hans, R. Loogen, S. Winkler.
On the interaction of lazy evaluation and backtracking,
Volume 92,12 of Aachener Informatik-Berichte, 1992. |
| W. Hans, S. Winkler.
Aliasing and groundness analysis of logic programs through abstract interpretation and its safety,
Volume 92,27 of Aachener Informatik-Berichte, 1992. |
| W. Hans, S. Winkler.
Abstract interpretation of functional logic languages,
Volume 92,43 of Aachener Informatik-Berichte, 1992. |
| P. Koch.
Intelligentes backtracking bei der Auswertung funktional-logischer Programme,
Volume 92,39 of Aachener Informatik-Berichte, 1992. |
| Herbert Kuchen, Rita Loogen, Juan José Moreno-Navarro, Mario Rodríguez Artalejo.
Graph-narrowing to implement a functional logic language,
Volume 68.1/LyS/92 of Rep. FIM, Departamento de Informatica y Automatica, UCM, 1992. |
| Herbert Kuchen, Francisco López Fraguas.
Result directed computing in a functional logic language,
Volume 92,21 of Aachener Informatik-Berichte, 1992. |
| Herbert Kuchen, Francisco López Fraguas, J. J. Moreno Navarro, Mario Rodríguez Artalejo.
Implementing disequality in a lazy functional logic language,
Volume 92,20 of Aachener Informatik-Berichte, 1992. |
| Herbert Kuchen, Juan José Moreno-Navarro, Manuel V. Hermenegildo.
Independent AND-parallel narrowing,
Volume 92,22 of Aachener Informatik-Berichte, 1992. |
| T. Margaria, B. Steffen.
Distinguishing formulas for free,
Volume 92,23 of Aachener Informatik-Berichte, 1992. |
| Thomas Noll, H. Vogler.
Top-down parsing with simultaneous evaluation of noncircular attribute grammars,
Volume 92,14 of Aachener Informatik-Berichte, 1992. |
| S. A. Smolka, B. Steffen.
Priority as extremal probability,
Volume 92,4 of Aachener Informatik-Berichte, 1992. |
| H. Stoltze.
Entwurf und Implementierung einer Sprache zur high-level Programmierung lose gekoppelter Multiprozessorsysteme,
Volume 92,16 of Aachener Informatik-Berichte, 1992. |
| DOI | Olaf Burkart, Bernhard Steffen.
Model checking for context-free processes,
Volume 630 of Lect. notes in comput. sci., pages 123-137, Springer, 1992. |
| W. Hans.
Ein vollständiges Indexing-Schema für WAM-ähnliche abstrakte Maschinen,
Volume 10/92 of Interner Bericht / Universität Karlsruhe, Fakultät für Informatik, Univ., Fak. für Informatik, Bibliothek, 1992. |
| DOI | G. Hogen, A. Kindler, R. Loogen.
Automatic parallelization of lazy functional programs,
Volume 582 of Lect. notes in comput. sci., pages 254-268, Springer, 1992. |
| G. Hogen, R. Loogen.
PASTEL - a parallel stack-based implementation of eager functional programs with lazy data structures,
Volume 92,19 of Aachener Informat.-Ber., RWTH Aachen, Department of Computer Science [u.a.], 1992. |
| J. Knoop, O. Rüthing, B. Steffen.
Lazy code motion,
1992. |
| H. Kuchen, K. Gladitz.
Implementing bags on a shared memory MIMD-machine,
Volume 92,19 of Aachener Informat.-Ber., RWTH Aachen, Department of Computer Science [u.a.], 1992. |
| Herbert Kuchen, Francisco López Fraguas, J. J. Moreno Navarro, Mario Rodríguez Artalejo.
Implementing disequality in a lazy functional logic language,
pages 207-224, 1992. |
| DOI | Herbert Kuchen, Holger Stoltze, Friedrich Lücking.
Candela - a topology description language,
Volume 634 of LNCS, pages 777-778, Springer, 1992. |
| H. Kuchen, H. Stoltze, F. Lücking.
Candela - eine Sprache zur Beschreibung von Topologien,
1992. |
| R. Loogen.
Implementierung von lazy narrowing - Vergleich weier Strategien,
Volume 10/92 of Interner Bericht / Universität Karlsruhe, Fakultät für Informatik, Univ., Fak. für Informatik, Bibliothek, 1992. |