| 1992 |
|---|
| DOI | G. Hogen, A. Kindler, R. Loogen. Automatic parallelization of lazy functional programs,
Proc. ESOP 92. Berlin [u.a.] 1992, 254-268, Springer [u.a.], 1992. |
| G. Hogen, R. Loogen. PASTEL - a parallel stack-based implementation of eager functional programs with lazy data structures,
Proc. 4. Int. Workshop on Parallel Implementat. of Functional Lang. Aachen 1992, RWTH Aachen, Department of Computer Science [u.a.], 1992. |
| J. Knoop, O. Rüthing, B. Steffen. Lazy code motion,
ACM SIGPLAN PLDI 92. San Francisco, Calif. (USA) 1992, 1992. |
| H. Kuchen, K. Gladitz. Implementing bags on a shared memory MIMD-machine,
Proc. 4. Int. Workshop on the Parallel Implementat. of Functional Lang. Aachen 1992, 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,
Joint Int. Conf. and Sympos. on Logic Programm. 1992, 207-224, 1992. |
| DOI | Herbert Kuchen, Holger Stoltze, Friedrich Lücking. Candela - a topology description language,
Parallel processing: CONPAR 92 - VAPP V : second Joint International Conference on Vector and Parallel Processing Lyon, France, September 1 - 4, 1992 ; proceedings / L. Bougé ... (eds.), 777-778, Springer, 1992. |
| H. Kuchen, H. Stoltze, F. Lücking. Candela - eine Sprache zur Beschreibung von Topologien,
Transputer-Anwender-Treffen. Aachen 1992, 1992. |
| R. Loogen. Implementierung von lazy narrowing - Vergleich weier Strategien,
1. Arbeitstreffen zur Implementier. Logisch-Funktionaler Sprachen. Karlsruhe 1992, Univ., Fak. für Informatik, Bibliothek, 1992. |
| R. Loogen. Implementierung funktional-logischer Programmiersprachen,
Arbeitstag. 'Programmiersprachen - Methoden, Semantik, Implementier.'. Münster 1992. (Univ. Münster. Ber. 7/92-I), 1992. |
| T. Margaria. Hierarchical mixed-mode verification of complex FSMs described at the RT level,
Int. Conf. on 'Theorem Provers in Circuit Des.' 1992, 59-75, 1992. |
| DOI | A. Maassen. Parallel programming with data structures and higher order functions,
38 S., Elsevier, 1992. |
| 1989 |
|---|
| F. Hinz, J. Dassow. An undecidability result for regular languages and its applications to regulated rewriting,
168-173, EATCS, 1989. |