2. PARLE 1989:
Eindhoven, The Netherlands - Volume 2
Eddy Odijk, Martin Rem, Jean-Claude Syre (Eds.):
PARLE '89: Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 12-16, 1989, Proceedings.
Lecture Notes in Computer Science 366 Springer 1989, ISBN 3-540-51285-3 
Invited Lectures
Submitted Presentations
- Jesús Labarta, Eduard Ayguadé:
GTS: Extracting Full Parallelism Out of DO Loops.
43-54
- Richard Banach:
Dataflow Analysis if Term Graph Rewriting Systems.
55-72
- Ryszard Janicki, Maciej Koutny:
Towards A Theory Of Simulation For Verification Of Concurrent Systems.
73-88
- Antti Valmari:
Eliminating Redundant Interleavings During Concurrent Program Verification.
89-103
- Susumu Yamasaki:
Dataflow Programs for Parallel Computations of Logic Programs and their Semantics.
104-114
- Bernd Schwinn, Gerhard Barth, Christoph Welsch:
RAPiD A Data Flow Model for Implementing Parallelism and Intelligent Backtracking in Logic Programs.
115-132
- Bogumil Hausman:
Pruning and Scheduling Speculative Work in Or-Parallel Prolog.
133-150
- Jacques Chassin de Kergommeaux, Uri Baron, Wolfgang Rapp, Michael Ratcliffe:
Performance Analysis of a Parallel Prolog: A Correlated Approach.
151-164
- Steven K. Goering, Simon M. Kaplan:
Visual Concurrent Object-Based Programming in GARP.
165-180
- Apostolos Nikolaos Refenes, Eugene Eberbach, Stephen C. McCabe, Philip C. Treleaven:
PARLE: A Parallel Target Language for Integrating Symbolic and Numeric Processing.
181-198
- Ralph-Johan Back:
A Method for Refining Atomicity in Parallel Algorithms.
199-216
- Bengt Jonsson, Joost N. Kok:
Comparing Two Fully Abstract Dataflow Models.
217-234
- José del R. Millán, Pau Bofill:
Learning by Back-Propagation: Computing in a Systolic Way.
235-252
- Christian Lengauer:
Towards Systolizing Compilation: An Overview.
253-272
- Fabrizio Baiardi, Salvatore Orlando:
Strategies for a Massively Parallel Implementation of Simulated Annealing.
273-287
- Gaétan Hains:
The Compaction of Acyclic Terms.
288-303
- Paraskevas Evripidou, Walid A. Najjar, Jean-Luc Gaudiot:
A Single-Assignment Language in a Distributed Memory Multiprocessor.
304-320
- Björn Lisper:
Single-Assignment Semantics for Imperative Programs.
321-334
- Zhiyi Hwang, Shouren Hu:
A Compliling Approach for Exploiting And-parallelism in Parallel Logic Programming Systems.
335-345
- Giuseppe Marino, Giancarlo Succi:
Data structures for parallel execution of functional languages.
346-356
- Flemming Nielson:
The Typed lambda-Calculus with First-Class Processes.
357-373
- Brian Livezey, Richard R. Muntz:
ASPEN: A Stream Processing Environment.
374-388
- Joachim Parrow:
The Expressive Power of Simple Parallelism.
389-405
- Frank S. de Boer:
Compositionality in the Temporal Logic of Concurrent Systems (extended abstract).
406-423
- Jozef Hooman, Jennifer Widom:
A Temporal-Logic Based Compositional Proof System for Real-Time Message Passing.
424-441
Last update Tue May 21 17:50:03 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
