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.
Author(s): Vaughan Pratt (auth.), Takayasu Ito, Akinori Yonezawa (eds.)
Series: Lecture Notes in Computer Science 907
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1995
Language: English
Pages: 488
Tags: Processor Architectures; System Performance and Evaluation; Programming Techniques; Software Engineering
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
