From: ghogen@zeus.informatik.rwth-aachen.de (Guido Hogen)
Newsgroups: comp.doc.techreports
Subject: Technical reports from Dept. of Comp. Sci., RWTH Aachen, Germany
Date: 6 Apr 92 11:28:28 GMT
Article-I.D.: darkstar.32180
Originator: golding@cedar


 
                    RWTH Aachen
          (Technical University of Aachen)
                      Germany
            Department of Computer Science

              Anonymous ftp address:
           ftp.informatik.rwth-aachen.de 
                 (137.226.112.31) 

            Aachener Informatik-Berichte
            ----------------------------

This file contains an overview of all (electronically) available technical 
reports of the computer science department of the RWTH Aachen. The reports 
are stored in compressed PostScript-Format.

More detailed information (abstracts in ASCII-format) is contained in the
file CONT.long.Z.

To get a specific report, transfer the desired file in binary mode and
uncompress it.

If you are interested in receiving announcements of new reports (once or
twice a month), please write to 
           tr-announce-request@informatik.rwth-aachen.de
with your e-mail address in the subject line.


(Last update: Apr 6, 1992)


File         Author(s) / Title
------------------------------------------------------------------------------
89-18.ps.Z   A. Maassen: Programming with Higher Order Functions  

89-20.ps.Z   H. Kuchen / R. Loogen / J.J. Moreno Navarro / M. Rodrigues
                    Artalejo: Graph-based Implementation of a Functional Logic 
                    Language

90-04.ps.Z   R. Loogen: Stack-based Implementation of Narrowing

90-05.ps.Z   H. Kuchen / A. Wagener: Comparison of Dynamic Load Balancing 
                    Strategies

90-11.ps.Z   H. Kuchen / R. Loogen / J.J. Moreno Navarro / M. Rodrigues 
                    Artalejo: Lazy Narrowing in a Graph Machine

90-14.ps.Z   A. Maassen: Compilerentwicklung in Miranda - ein Praktikum 
                    in funktionaler Programmierung (written in german) 

90-20.ps.Z   Y. Ortega Mallen / D. de Frutos Escrig: A Complete Proof System for
                    Timed Observations

90-22.ps.Z   H. Fassbender / H. Vogler: A Call-by-need Implementation of 
                    Syntax Directed Functional Programming  

91-01.ps.Z   Jahresbericht 1990 (written in german)

91-03.ps.Z   B. Steffen / A. Ingolfsdottir: Characteristic Formulae for
                    Processes with Divergence

91-04.ps.Z   M. Portz: A new class of cryptosystems based on interconnection
                    networks

91-05.ps.Z   H. Kuchen / G. Geiler: Distributed Applicative Arrays

91-10.ps.Z   K. Gladitz / H. Fassbender / H.  Vogler: Compiler-based 
                    Implementation of Syntax-Directed Functional Programming   

91-11.ps.Z   R. Loogen / St. Winkler: Dynamic Detection of Determinism in 
                    Functional Logic Languages

91-17.ps.Z   A. Zuendorf / A. Schuerr: Nondeterministic Control Structures for
                    Graph Rewriting Systems

91-20.ps.Z   G. Hogen / A. Kindler / R. Loogen: Automatic Parallelization of 
                    Lazy Functional Programs   

91-22.ps.Z   H. Kuchen / F. L"ucking / H. Stoltze: The Topology Description 
                    Language TDL   

91-23.ps.Z   S. Graf / B. Steffen: Compositional Minimization of Finite State
                    Systems
                    
91-24.ps.Z   R. Cleaveland / J. Parrow / B. Steffen: The Concurrency Workbench:
                    A Semantics Based Tool for the Verification of Concurrent 
                    Systems

91-27.ps.Z   J. Knoop / B. Steffen: The Interprocedural Coincidence Theorem

91-28.ps.Z   J. Knoop / B. Steffen: Unifying Strength Reduction and Semantic  
                    Code Motion

91-30.ps.Z   T. Margaria: First-Order theories for the verification of 
                    complex FSMs

91-31.ps.Z   B. Steffen: Generating Data Flow Analysis Algorithms from Modal
                    Specifications

92-04.ps.Z   S. A. Smolka / B. Steffen: Priority as Extremal Probability

92-06.ps.Z   O. Burkart / B. Steffen: Model Checking for Context-Free Processes

CONTENTS     *****             this file               *****

CONT.long.Z  ***** ASCII-file containing all abstracts *****

----------------------------------
Guido Hogen
tr-admin@informatik.rwth-aachen.de
----------------------------------
===========================================================================
Co-moderator:  Richard Golding, Computer & Information Sciences, UC Santa Cruz
	    compdoc-techreports-request@ftp.cse.ucsc.edu