Publications

1993

Book
A new stack technique for the management of runtime structures in distributed implementations
G. Hogen, R. Loogen
RWTH record for A new stack technique for the management of runtime structures in distributed implementations BibTeX for A new stack technique for the management of runtime structures in distributed implementations
Book
A VHDL specification of a shared memory parallel machine for Babel
W. Hans, F. Sáenz, S. Winkler
RWTH record for A VHDL specification of a shared memory parallel machine for Babel BibTeX for A VHDL specification of a shared memory parallel machine for Babel
Book
Full indexing for lazy narrowing
W. Hans, H. Kuchen, S. Winkler
RWTH record for Full indexing for lazy narrowing BibTeX for Full indexing for lazy narrowing
Book
Pushdown processes: Parallel composition and model checking
O. Burkart, B. Steffen
RWTH record for Pushdown processes: Parallel composition and model checking BibTeX for Pushdown processes: Parallel composition and model checking
Conference paper
Efficient lazy narrowing using demandedness analysis
Juan José Moreno-Navarro, Herbert Kuchen, Julio Mariño-Carballo, Stephan Winkler, Werner Hans
Programming language implementation and logic programming
RWTH record for Efficient lazy narrowing using demandedness analysis BibTeX for Efficient lazy narrowing using demandedness analysis
Conference paper
A demand-driven computation strategy for lazy narrowing
Rita Loogen, Francisco López Fraguas, Mario Rodríguez Artalejo
Programming language implementation and logic programming
RWTH record for A demand-driven computation strategy for lazy narrowing BibTeX for A demand-driven computation strategy for lazy narrowing
Book chapter
Stack management of runtime structures in distributed implementations
Guido Hogen, Rita Loogen
Programming language implementation and logic programming
RWTH record for Stack management of runtime structures in distributed implementations BibTeX for Stack management of runtime structures in distributed implementations
Book chapter
Parallele funktionale Programmierung mit algorithmischen Skleletten
H. Stoltze
Graduiertenkolleg Informatik und Technik
RWTH record for Parallele funktionale Programmierung mit algorithmischen Skleletten BibTeX for Parallele funktionale Programmierung mit algorithmischen Skleletten

1992

Journal article
Parallel programming with data structures and higher order functions
A. Maassen
Science of computer programming
RWTH record for Parallel programming with data structures and higher order functions BibTeX for Parallel programming with data structures and higher order functions
Conference paper
Hierarchical mixed-mode verification of complex FSMs described at the RT level
T. Margaria
Int. Conf. on 'Theorem Provers in Circuit Des.' 1992
RWTH record for Hierarchical mixed-mode verification of complex FSMs described at the RT level BibTeX for Hierarchical mixed-mode verification of complex FSMs described at the RT level
Conference paper
Implementierung funktional-logischer Programmiersprachen
R. Loogen
Arbeitstag. 'Programmiersprachen - Methoden, Semantik, Implementier.'. Münster 1992. (Univ. Münster. Ber. 7/92-I)
RWTH record for Implementierung funktional-logischer Programmiersprachen BibTeX for Implementierung funktional-logischer Programmiersprachen
Conference paper
Implementierung von lazy narrowing - Vergleich weier Strategien
R. Loogen
1. Arbeitstreffen zur Implementier. Logisch-Funktionaler Sprachen. Karlsruhe 1992
RWTH record for Implementierung von lazy narrowing - Vergleich weier Strategien BibTeX for Implementierung von lazy narrowing - Vergleich weier Strategien
Conference paper
Candela - eine Sprache zur Beschreibung von Topologien
H. Kuchen, H. Stoltze, F. Lücking
Transputer-Anwender-Treffen. Aachen 1992
RWTH record for Candela - eine Sprache zur Beschreibung von Topologien BibTeX for Candela - eine Sprache zur Beschreibung von Topologien
Conference paper
Candela - a topology description language
Herbert Kuchen, Holger Stoltze, Friedrich Lücking
Parallel processing: CONPAR 92 - VAPP V
RWTH record for Candela - a topology description language BibTeX for Candela - a topology description language
Conference paper
Implementing disequality in a lazy functional logic language
Herbert Kuchen, Francisco López Fraguas, J. J. Moreno Navarro, Mario Rodríguez Artalejo
Joint Int. Conf. and Sympos. on Logic Programm. 1992
RWTH record for Implementing disequality in a lazy functional logic language BibTeX for Implementing disequality in a lazy functional logic language
Conference paper
Implementing bags on a shared memory MIMD-machine
H. Kuchen, K. Gladitz
Proc. 4. Int. Workshop on the Parallel Implementat. of Functional Lang. Aachen 1992
RWTH record for Implementing bags on a shared memory MIMD-machine BibTeX for Implementing bags on a shared memory MIMD-machine
Conference paper
Lazy code motion
J. Knoop, O. Rüthing, B. Steffen
ACM SIGPLAN PLDI 92. San Francisco, Calif. (USA) 1992
RWTH record for Lazy code motion BibTeX for Lazy code motion
Conference paper
PASTEL - a parallel stack-based implementation of eager functional programs with lazy data structures
G. Hogen, R. Loogen
Proc. 4. Int. Workshop on Parallel Implementat. of Functional Lang. Aachen 1992
RWTH record for PASTEL - a parallel stack-based implementation of eager functional programs with lazy data structures BibTeX for PASTEL - a parallel stack-based implementation of eager functional programs with lazy data structures
Conference paper
Automatic parallelization of lazy functional programs
G. Hogen, A. Kindler, R. Loogen
Proc. ESOP 92. Berlin [u.a.] 1992
RWTH record for Automatic parallelization of lazy functional programs BibTeX for Automatic parallelization of lazy functional programs
Conference paper
Ein vollständiges Indexing-Schema für WAM-ähnliche abstrakte Maschinen
W. Hans
1. Arbeitstreffen z. Implementier. Logisch-Funktionaler Sprachen. Karlsruhe 1992
RWTH record for Ein vollständiges Indexing-Schema für WAM-ähnliche abstrakte Maschinen BibTeX for Ein vollständiges Indexing-Schema für WAM-ähnliche abstrakte Maschinen
Conference paper
Model checking for context-free processes
Olaf Burkart, Bernhard Steffen
CONCUR 92. Berlin [u.a.] 1992
RWTH record for Model checking for context-free processes BibTeX for Model checking for context-free processes
Book
Entwurf und Implementierung einer Sprache zur high-level Programmierung lose gekoppelter Multiprozessorsysteme
H. Stoltze
RWTH record for Entwurf und Implementierung einer Sprache zur high-level Programmierung lose gekoppelter Multiprozessorsysteme BibTeX for Entwurf und Implementierung einer Sprache zur high-level Programmierung lose gekoppelter Multiprozessorsysteme
Book
Priority as extremal probability
S. A. Smolka, B. Steffen
RWTH record for Priority as extremal probability BibTeX for Priority as extremal probability
Book
Top-down parsing with simultaneous evaluation of noncircular attribute grammars
Thomas Noll, H. Vogler
RWTH record for Top-down parsing with simultaneous evaluation of noncircular attribute grammars BibTeX for Top-down parsing with simultaneous evaluation of noncircular attribute grammars
Book
Distinguishing formulas for free
T. Margaria, B. Steffen
RWTH record for Distinguishing formulas for free BibTeX for Distinguishing formulas for free