Technical reports from Dept. of Comp. Sci., RWTH Aachen, Germany

Thread View: comp.doc.techreports

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Guido Hogen Mon, 06 Apr 1992 11:28

#25

Author: Guido Hogen
Date: Mon, 06 Apr 1992 11:28

116 lines
4911 bytes

 
                    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

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads