Skip to main content
SpringerLink
Log in

Theory and Practice of Parallel Programming

International Workshop TPPP '94, Sendai, Japan, November 7-9, 1994. Proceedings

  • Conference proceedings
  • © 1995

Overview

Editors:
  1. Takayasu Ito
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Akinori Yonezawa
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 907)

Included in the following conference series:

Conference proceedings info: TPPP 1994.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (24 papers)

  1. Front Matter

    Download chapter PDF

  2. Time and information in sequential and concurrent computation

    • Vaughan Pratt
    Pages 1-24

  3. Notes on P-algebra 1: Process structure

    • Kohei Honda
    Pages 25-44

  4. Simulating guarded programs in linear logic

    • Max I. Kanovich
    Pages 45-69

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

    • Christian Queinnec
    Pages 70-93

  6. Multi-threaded PaiLisp with granularity adaptive parallel execution

    • Shin -ichi Kawamoto, Takayasu Ito
    Pages 94-120

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

    • Kenjiro Taura, Satoshi Matsuoka, Akinori Yonezawa
    Pages 121-136

  8. Higher-order concurrent linear logic programming

    • Naoki Kobayashi, Akinori Yonezawa
    Pages 137-166

  9. A parallel object-oriented language OCore

    • Hiroki Konaka, Takashi Tomokiyo, Munenori Maeda, Yutaka Ishikawa, Atsushi Hori
    Pages 167-186

  10. Concurrent objects in a process calculus

    • Benjamin C. Pierce, David N. Turner
    Pages 187-215

  11. A formalism for remotely interacting processes

    • Ichiro Satoh, Mario Tokoro
    Pages 216-228

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

    • Atsushi Togashi, Sen Yoshida, Shigetomo Kimura, Norio Shiratori
    Pages 229-234

  13. First-class synchronous operations

    • John H. Reppy
    Pages 235-252

  14. Self-describing files + smart modules= parallel program visualization

    • Robert H. Halstead Jr.
    Pages 253-283

  15. A performance debugger for parallel logic programming language fleng

    • Junichi Tatemura, Hanpei Koike, Hidehiko Tanaka
    Pages 284-299

  16. First class continuation facilities in concurrent programming language Harmony/2

    • Ken Wakita
    Pages 300-319

  17. Locality abstractions for parallel and distributed computing

    • Suresh Jagannathan
    Pages 320-345

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

    • Tomio Kamada, Satoshi Matsuoka, Akinori Yonezawa
    Pages 346-355

  19. I/O mode analysis in concurrent logic programming

    • Kazunori Ueda
    Pages 356-368

  20. Advanced component interface specification

    • Manfred Broy
    Pages 369-392
Back to top

Other volumes

  1. Theory and Practice of Parallel Programming

Keywords

About this book

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation