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

Ito, Takayasu

ISBN 10: 3540591729 / ISBN 13: 9783540591726

Published by Springer 1995-04, 1995

About this Item

Seller Inventory # 6666-IUK-9783540591726

Bibliographic Details

Title: Theory and Practice of Parallel Programming ...

Publisher: Springer 1995-04

Publication Date: 1995

Binding: PF

Condition: New

About this title

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.

Product Description:

Theory and Practice of Parallel Programming This international symposium focused on the theoretical foundations of parallel languages and parallel programming, related implementation issues, and practical applications. Among the topics discussed are language semantics, computation models, logic and program specification.