講演抄録/キーワード |
講演名 |
2005-12-20 11:15
分散JoinJAVAプログラムの通信エラーに対する型判定システム ○佐伯昌樹・坂部俊樹・酒井正彦・草刈圭一朗・西田直樹(名大) |
抄録 |
(和) |
分散JoinJAVAはJoin算法をJAVAの記述が出来るよう拡張した言語である.JAVA
プログラムでは複雑となるスレッド間の通信,同期をJoin算法の記述を用いる
ことで簡潔に表現可能となる.Join算法ではプロセス間の通信が正常に実行さ
れることを保証する型判定システムが与えられている.本稿では,これを分散
JoinJAVAに拡張し,その健全性,すなわち,型整合なプログラムは実行時に通
信エラーが起こらないことを示す. |
(英) |
The distributed JoinJAVA is the Join-Calculus extended by adding JAVA
fragments as sequential processes. It enables us to describe
communications between threads concisely by using the features of the
Join-Calculus, while thread programming in JAVA is generally complex.
The Join-Calculus is equipped with the type judgment system that
guarantees that well-typed programs running without any communication
errors. In this paper, we extend the type judgment system for the
distributed JoinJAVA, and also show that the system is sound, that is,
if a program in the distributed JoinJAVA is judged to be well-typed
then it never runs into any communication errors. |
キーワード |
(和) |
Join算法 / 型判定システム / プロセス間通信 / / / / / |
(英) |
Join-Calculus / type judgement / process communication / / / / / |
文献情報 |
信学技報, vol. 105, no. 491, SS2005-67, pp. 25-30, 2005年12月. |
資料番号 |
SS2005-67 |
発行日 |
2005-12-13 (SS) |
ISSN |
Print edition: ISSN 0913-5685 |
PDFダウンロード |
|