PARLE '89 - Parallel Architectures and Languages Europe Volume II: Parallel Languages, Eindhoven, The Netherlands, June 12-16, 1989; Proceedings
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...
| Other Authors: | , , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1989, 1989
|
| Edition: | 1st ed. 1989 |
| Series: | Lecture Notes in Computer Science
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- Supporting multiparadigm programming on actor architectures
- Multiple tuple spaces in Linda
- Experiments in mimd parallelism
- GTS: Extracting full parallelism out of DO loops
- Dataflow analysis of term graph rewriting systems
- Towards a theory of simulation for verification of concurrent systems
- Eliminating redundant interleavings during concurrent program verification
- Dataflow programs for parallel computations of logic programs and their semantics
- RAPiD a data flow model for implementing parallelism and intelligent backtracking in logic programs
- Pruning and scheduling speculative work in or-parallel Prolog
- Performance analysis of a Parallel Prolog: A correlated approach
- Visual concurrent object-based programming in GARP
- Parle: A parallel target language for integrating symbolic and numeric processing
- A method for refining atomicity in parallel algorithms
- Comparing two fully abstract dataflow models
- Learning by back-propagation: Computing in a systolic way
- Towards systolizing compilation: An overview
- Strategies for a massively parallel implementation of simulated annealing
- The compaction of acyclic terms
- A single-assignment language in a distributed memory multiprocessor
- Single-assignment semantics for imperative programs
- A compiling approach for exploiting and-parallelism in parallel logic programming systems
- Data structures for parallel execution of functional languages
- The typed ?-calculus with first-class processes
- ASPEN: A stream processing environment
- The expressive power of simple parallelism
- Compositionality in the temporal logic of concurrent systems
- A temporal-logic based compositional proof system for real-time message passing