PARLE '89 Parallel Architectures and Languages Europe: Volume II: Parallel Languages Eindhoven, The Netherlands, June 12–16, 1989 Proceedings

✍ Scribed by Gul Agha (auth.), Eddy Odijk, Martin Rem, Jean-Claude Syre (eds.)

• Publisher: Springer-Verlag Berlin Heidelberg
• Year: 1989
• Tongue: English
• Leaves: 455
• Series: Lecture Notes in Computer Science 366
• Edition: 1
• Category: Library

✦ Synopsis

Since the first PARLE conference, PARLE '87, attracted more than 300 participants, it was considered a useful and successful forum and encouraged the organization of this second issue known as PARLE '89. The initiative for these conferences was taken by project 415 of ESPRIT (the European Strategic Programme for Research and Development in Information Technology of the Commission of the European Communities). Their scope covers central themes in the area of parallel architectures and languages, including such topics as concurrent, object-oriented, logic and functional programming; MIMD, dataflow, inference and reduction machines; design and verification of parallel systems; VLSI, WSI and RISC architectures; performance evaluation, memory management, systolic arrays, applications and special purpose architectures. The four invited lectures present the state of the art and advanced developments in major research areas related to the topics of the conference. Of the more than 150 submitted papers 45 were selected for presentation. Furthermore the program of PARLE '89 comprises presentations on the subprojects which together constitute ESPRIT project 415. Parallel architectures based on a variety of programming styles (object-oriented, logic, functional, dataflow) are represented in these overviews.

✦ Table of Contents

Supporting multiparadigm programming on actor architectures....Pages 1-19
Multiple tuple spaces in Linda....Pages 20-27
Experiments in mimd parallelism....Pages 28-42
GTS: Extracting full parallelism out of DO loops....Pages 43-54
Dataflow analysis of term graph rewriting systems....Pages 55-72
Towards a theory of simulation for verification of concurrent systems....Pages 73-88
Eliminating redundant interleavings during concurrent program verification....Pages 89-103
Dataflow programs for parallel computations of logic programs and their semantics....Pages 104-114
RAPiD a data flow model for implementing parallelism and intelligent backtracking in logic programs....Pages 115-132
Pruning and scheduling speculative work in or-parallel Prolog....Pages 133-150
Performance analysis of a Parallel Prolog: A correlated approach....Pages 151-164
Visual concurrent object-based programming in GARP....Pages 165-180
Parle: A parallel target language for integrating symbolic and numeric processing....Pages 181-198
A method for refining atomicity in parallel algorithms....Pages 199-216
Comparing two fully abstract dataflow models....Pages 217-234
Learning by back-propagation: Computing in a systolic way....Pages 235-252
Towards systolizing compilation: An overview....Pages 253-272
Strategies for a massively parallel implementation of simulated annealing....Pages 273-287
The compaction of acyclic terms....Pages 288-303
A single-assignment language in a distributed memory multiprocessor....Pages 304-320
Single-assignment semantics for imperative programs....Pages 321-334
A compiling approach for exploiting and-parallelism in parallel logic programming systems....Pages 335-345
Data structures for parallel execution of functional languages....Pages 346-356
The typed λ-calculus with first-class processes....Pages 357-373
ASPEN: A stream processing environment....Pages 374-388
The expressive power of simple parallelism....Pages 389-405
Compositionality in the temporal logic of concurrent systems....Pages 406-423
A temporal-logic based compositional proof system for real-time message passing....Pages 424-441

✦ Subjects

Programming Languages, Compilers, Interpreters; Programming Techniques; Operating Systems; Processor Architectures; Computer Communication Networks; Special Purpose and Application-Based Systems