TPPP 1994: Sendai, Japan

Takayasu Ito, Akinori Yonezawa (Eds.): Theory and Practice of Parallel Programming, International Workshop TPPP'94, Sendai, Japan, November 7-9, 1994, Proceedings. Lecture Notes in Computer Science 907 Springer 1995, ISBN 3-540-59172-9 BibTeX

@proceedings{DBLP:conf/tppp/1994,
  editor    = {Takayasu Ito and
               Akinori Yonezawa},
  title     = {Theory and Practice of Parallel Programming, International Workshop
               TPPP'94, Sendai, Japan, November 7-9, 1994, Proceedings},
  booktitle = {TPPP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {907},
  year      = {1995},
  isbn      = {3-540-59172-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Talk 1

Vaughan R. Pratt: Time and Information in Sequential and Concurrent Computation. 1-24 BibTeX
Kohei Honda: Notes on P-Algebra 1: Process Structure. 25-44 BibTeX
Max I. Kanovich: Simulating Guarded Programs in Linear Logic. 45-69 BibTeX

Invited Talk 2

Christian Queinnec: Sharing Mutable Objects and Controlling Groups of Tasks in a Concurrent and Distributed Language. 70-93 BibTeX
Shin-ichi Kawamoto, Takayasu Ito: Multi-threaded PaiLisp with Granularity Adaptive Parallel Execution. 94-120 BibTeX
Kenjiro Taura, Satoshi Matsuoka, Akinori Yonezawa: StackThreads: An Abstract Machine for Scheduling Fine-Grain Threads on Stock CPUs. 121-136 BibTeX

Invited Talk 3

Naoki Kobayashi, Akinori Yonezawa: Higher-Order Concurrent Linear Logic Programming. 137-166 BibTeX
Hiroki Konaka, Takashi Tomokiyo, Munenori Maeda, Yutaka Ishikawa, Atsushi Hori: A Parallel Object-Oriented Language OCore. 167-186 BibTeX

Invited Talk 4

Benjamin C. Pierce: Concurrent Objects in a Process Calculus. 187-215 BibTeX
Ichiro Satoh, Mario Tokoro: A Formalism for Remotely Interacting Processes. 216-228 BibTeX
Atsushi Togashi, Sen Yoshida, Shigetomo Kimura, Norio Shiratori: ProCSuS: A Meta System for Concurrent Process Calculi Based on SOS. 229-234 BibTeX

Invited Talk 5

John H. Reppy: First-class Synchronous Operations. 235-252 BibTeX

Invited Talk 6

Robert H. Halstead Jr.: Self-Describing Files + Smart Modules = Parallel Program Visualization. 253-283 BibTeX
Jun'ichi Tatemura, Hanpei Koike, Hidehiko Tanaka: A Performance Debugger for a Parallel Logic Programming Language Fleng. 284-299 BibTeX
Ken Wakita: First Class Continuation Facilities in Concurrent Programming Language Harmony/2. 300-319 BibTeX

Invited Talk 7

Suresh Jagannathan: Locality Abstractions for Parallel and Distributed Computing. 320-345 BibTeX
Tomio Kamada, Satoshi Matsuoka, Akinori Yonezawa: An Algorithm for Efficient Global Garbage Collection on Massively Parallel Computers. 346-355 BibTeX
Kazunori Ueda: I/O Mode Analysis in Concurrent Logic Programming. 356-368 BibTeX

Invited Talk 8

Manfred Broy: Advanced Component Interface Specification. 369-392 BibTeX
Nobuko Yoshida: Graph Notation for Concurrent Combinators. 393-412 BibTeX
Susumu Nishimura, Atsushi Ohori: A Calculus for Exploiting Data Parallelism on Recursively Defined Data. 413-432 BibTeX

Invited Talk 9

Taiichi Yuasa, Toshiro Kijima, Yutaka Konishi: The Data-Parallel C Language NCX and Its Implementation Strategies. 433-456 BibTeX
Shigeru Kusakabe, Makoto Amamiya: A Dataflow-Based Massively Parallel Programming Language "V" and Its Implementation on a Stock Parallel Machine. 457-471 BibTeX
Mitsuhisa Sato, Yuetsu Kodama, Hirofumi Sakane, Yoshinori Yamaguchi, Shuichi Sakai: Programming with Distributed Data Structure for EM-X Multiprocessor. 472-483 BibTeX