Parle '89 - Parallel Architectures And Languages Europe: Volume Ii: Parallel Languages, Eindhoven, The Netherlands, June 12-16, 1989; Proceedings (lecture Notes In Computer Science)

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. 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