Theory and Practice of Parallel Programming: International Workshop TPPP '94 Sendai, Japan, November 7–9, 1994 Proceedings

✍ Scribed by Vaughan Pratt (auth.), Takayasu Ito, Akinori Yonezawa (eds.)

• Publisher: Springer-Verlag Berlin Heidelberg
• Year: 1995
• Tongue: English
• Leaves: 492
• Series: Lecture Notes in Computer Science 907
• Edition: 1
• Category: Library

✦ Synopsis

This volume presents the proceedings of the First International Workshop on Theory and Practice of Parallel Programming, TPPP '94, held in Sendai, Japan in November 1994.
Besides 9 full paper versions of the invited talks by prominent speakers, 15 revised contributed papers were selected for inclusion in this volume. TPPP '94 focused on theoretical foundations of parallel languages and parallel programming, related implementation issues, and practical applications. Among the topics covered are models of computation, logic, proof, specification of programs, semantics of languages, implementation of languages and systems, and architectural support for parallellism and massively parallel computation.

✦ Table of Contents

Time and information in sequential and concurrent computation....Pages 1-24
Notes on P-algebra 1: Process structure....Pages 25-44
Simulating guarded programs in linear logic....Pages 45-69
Sharing mutable objects and controlling groups of tasks in a concurrent and distributed language....Pages 70-93
Multi-threaded PaiLisp with granularity adaptive parallel execution....Pages 94-120
StackThreads : An abstract machine for scheduling fine-grain threads on stock CPUs....Pages 121-136
Higher-order concurrent linear logic programming....Pages 137-166
A parallel object-oriented language OCore....Pages 167-186
Concurrent objects in a process calculus....Pages 187-215
A formalism for remotely interacting processes....Pages 216-228
ProCSuS: A meta system for concurrent process calculi based on SOS....Pages 229-234
First-class synchronous operations....Pages 235-252
Self-describing files + smart modules= parallel program visualization....Pages 253-283
A performance debugger for parallel logic programming language fleng....Pages 284-299
First class continuation facilities in concurrent programming language Harmony/2....Pages 300-319
Locality abstractions for parallel and distributed computing....Pages 320-345
An algorithm for efficient global garbage collection on massively parallel computers (extend abstract)....Pages 346-355
I/O mode analysis in concurrent logic programming....Pages 356-368
Advanced component interface specification....Pages 369-392
Graph notation for concurrent combinators....Pages 393-412
A calculus for exploiting data parallelism on recursively defined data....Pages 413-432
The data-parallel C language NCX and its implementation strategies....Pages 433-456
A dataflow-based massively parallel programming language “V” and its implementation on a stock parallel machine....Pages 457-471
Programming with distributed data structure for EM-X multiprocessor....Pages 472-483

✦ Subjects

Processor Architectures; System Performance and Evaluation; Programming Techniques; Software Engineering