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.

Keywords

Bibliographic Information

Book Title: Theory and Practice of Parallel Programming
Book Subtitle: International Workshop TPPP '94, Sendai, Japan, November 7-9, 1994. Proceedings
Editors: Takayasu Ito, Akinori Yonezawa
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/BFb0026561
Publisher: Springer Berlin, Heidelberg
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1995
Softcover ISBN: 978-3-540-59172-6Published: 21 April 1995
eBook ISBN: 978-3-540-49218-4Published: 19 November 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: VIII, 488
Topics: Computer System Implementation, Software Engineering/Programming and Operating Systems, Processor Architectures, System Performance and Evaluation, Programming Techniques, Software Engineering

Publish with us

Policies and ethics

Theory and Practice of Parallel Programming

Editors:

Sections

Buy it now

Other ways to access

Table of contents (24 papers)

Front Matter

Time and information in sequential and concurrent computation

Notes on P-algebra 1: Process structure

Simulating guarded programs in linear logic

Sharing mutable objects and controlling groups of tasks in a concurrent and distributed language

Multi-threaded PaiLisp with granularity adaptive parallel execution

StackThreads: An abstract machine for scheduling fine-grain threads on stock CPUs

Higher-order concurrent linear logic programming

A parallel object-oriented language OCore

Concurrent objects in a process calculus

A formalism for remotely interacting processes

ProCSuS: A meta system for concurrent process calculi based on SOS

First-class synchronous operations

Self-describing files + smart modules= parallel program visualization

A performance debugger for parallel logic programming language fleng

First class continuation facilities in concurrent programming language Harmony/2

Locality abstractions for parallel and distributed computing

An algorithm for efficient global garbage collection on massively parallel computers (extend abstract)

I/O mode analysis in concurrent logic programming

Advanced component interface specification

Other Volumes