Table of contents

  1. Front Matter
  2. Kohei Honda
    Pages 25-44
  3. Max I. Kanovich
    Pages 45-69
  4. Shin -ichi Kawamoto, Takayasu Ito
    Pages 94-120
  5. Kenjiro Taura, Satoshi Matsuoka, Akinori Yonezawa
    Pages 121-136
  6. Naoki Kobayashi, Akinori Yonezawa
    Pages 137-166
  7. Hiroki Konaka, Takashi Tomokiyo, Munenori Maeda, Yutaka Ishikawa, Atsushi Hori
    Pages 167-186
  8. Benjamin C. Pierce, David N. Turner
    Pages 187-215
  9. Ichiro Satoh, Mario Tokoro
    Pages 216-228
  10. Atsushi Togashi, Sen Yoshida, Shigetomo Kimura, Norio Shiratori
    Pages 229-234
  11. John H. Reppy
    Pages 235-252
  12. Junichi Tatemura, Hanpei Koike, Hidehiko Tanaka
    Pages 284-299
  13. Manfred Broy
    Pages 369-392
  14. Nobuko Yoshida
    Pages 393-412
  15. Susumu Nishimura, Atsushi Ohori
    Pages 413-432
  16. Taiichi Yuasa, Toshiro Kijima, Yutaka Konishi
    Pages 433-456
  17. Mitsuhisa Sato, Yuetsu Kodama, Hirofumi Sakane, Shuichi Sakai, Yoshinori Yamaguchi, Satoshi Sekiguchi
    Pages 472-483
  18. Back Matter

About these proceedings


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.


Concurrent Processes Massiv-Paralleles Rechnen Massively Parallel Computation Nebenläufige Prozesse Parallel Memory Managment Parallele Kernspeicherverwaltung Parallelisierungsmethoden Parallelization parallel programming programming

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1995
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-59172-6
  • Online ISBN 978-3-540-49218-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software
Energy, Utilities & Environment