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 BibTeX

@proceedings{DBLP:conf/parle/1989-2,
  editor    = {Eddy Odijk and
               Martin Rem and
               Jean-Claude Syre},
  title     = {PARLE '89: Parallel Architectures and Languages Europe, Volume
               II: Parallel Languages, Eindhoven, The Netherlands, June 12-16,
               1989, Proceedings},
  booktitle = {PARLE},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {366},
  year      = {1989},
  isbn      = {3-540-51285-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Lectures

Gul Agha: Supporting Multiparadigm Programming on Actor Architectures. 1-19 BibTeX
David Gelernter: Multiple Tuple Spaces in Linda. 20-27 BibTeX
Anthony J. G. Hey: Experiments in MIMD Parallelism. 28-42 BibTeX

Submitted Presentations

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