[6] in mathematical software users group
(TECHREPORTS) Contents of the techreports locker
daemon@ATHENA.MIT.EDU (daemon@ATHENA.MIT.EDU)
Thu Mar 5 10:58:48 1992
To: msug@Athena.MIT.EDU
Date: Thu, 05 Mar 92 10:57:51 EST
From: Reid M. Pinchback <reidmp@Athena.MIT.EDU>
This is the second of 2 announcements to get msug readers "caught up" on
the current content of the techreports locker. I'm including the README
and CONTENTS files for the ftp.informatik.rwth-aachen.de collection,
which contains a number of reports on topics like functional programming
and parallelizability.
Reid M. Pinchback
Faculty Liaison
Academic Computing Services, MIT
- README ---------------------------------------------------------------------
Site name: Technical University of Aachen
Site city: Aachen
Site country: Germany
Site IP name: ftp.informatik.rwth-aachen.de
Site IP numbers: 134.130.52.1, 137.226.112.31
Report locations: pub/reports/
Last FTP update: 92/02/28
- CONTENTS -------------------------------------------------------------------
89-18.ps.Z A. Maassen: Programming with Higher Order Functions
90-14.ps.Z A. Maassen: Compilerentwicklung in Miranda - ein Praktikum
in funktionaler Programmierung (written in german)
90-22.ps.Z H. Fassbender / H. Vogler: A Call-by-need Implementation of
Syntax Directed Functional Programming
91-01.ps.Z G. Geiler (ed.): 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-10.ps.Z K. Gladitz / H. Fassbender / H. Vogler: Compiler-based
Implementation of Syntax-Directed Functional Programming
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-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. Smolka / B. Steffen: Priority as Extremal Probability
92-06.ps.Z O. Burkart / B. Steffen: Model Checking for Context-Free
Processes
------------------------------------------------------------------------------
