| 1992 |
|---|
| DOI | Herbert Kuchen, Juan José Moreno-Navarro, Manuel V. Hermenegildo. Independent AND-parallel narrowing, Programming language implementation and logic programming : 4th international symposium PLILP '92, Leuven, Belgium, August 26 - 28, 1992 ; proceedings / M. Bruynooghe; M. Wirsing (ed.), 24-38, Springer, 1992. |
| Tiziana Margaria. Efficient RT-level verification by theorem proving, IFIP transactions / A, Computer science and technology. - 1, 696-702, North-Holland, 1992. |
| O. Burkart, B. Steffen. Model checking for context-free processes, 1992. |
| W. Hans. A complete indexing scheme for WAM-based abstract machines, 1992. |
| W. Hans, R. Loogen, S. Winkler. On the interaction of lazy evaluation and backtracking, 1992. |
| W. Hans, S. Winkler. Aliasing and groundness analysis of logic programs through abstract interpretation and its safety, 1992. |
| W. Hans, S. Winkler. Abstract interpretation of functional logic languages, 1992. |
| P. Koch. Intelligentes backtracking bei der Auswertung funktional-logischer Programme, 1992. |
| Herbert Kuchen, Rita Loogen, Juan José Moreno-Navarro, Mario Rodríguez Artalejo. Graph-narrowing to implement a functional logic language, Departamento de Informatica y Automatica, UCM, 1992. |
| Herbert Kuchen, Francisco López Fraguas. Result directed computing in a functional logic language, 1992. |
| Herbert Kuchen, Francisco López Fraguas, J. J. Moreno Navarro, Mario Rodríguez Artalejo. Implementing disequality in a lazy functional logic language, 1992. |
| Herbert Kuchen, Juan José Moreno-Navarro, Manuel V. Hermenegildo. Independent AND-parallel narrowing, 1992. |
| T. Margaria, B. Steffen. Distinguishing formulas for free, 1992. |
| Thomas Noll, H. Vogler. Top-down parsing with simultaneous evaluation of noncircular attribute grammars, 1992. |
| S. A. Smolka, B. Steffen. Priority as extremal probability, 1992. |
| H. Stoltze. Entwurf und Implementierung einer Sprache zur high-level Programmierung lose gekoppelter Multiprozessorsysteme, 1992. |
| DOI | Olaf Burkart, Bernhard Steffen. Model checking for context-free processes, CONCUR 92. Berlin [u.a.] 1992, 123-137, Springer [u.a.], 1992. |
| W. Hans. Ein vollständiges Indexing-Schema für WAM-ähnliche abstrakte Maschinen, 1. Arbeitstreffen z. Implementier. Logisch-funktionaler sprachen. Karlsruhe 1992, Univ., Fak. für Informatik, Bibliothek, 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. |