情報科学演習III小林研究室課題３
並行プログラミング言語の型システムの論文を読む
逐次プログラミング言語の型システムは古くから研究されてきており、プログ
ラムの正しさの保証や、プログラムの最適化などに利用されてきたわけですが、
それらの既存の型システムは並行プログラムに適用するには不十分です。そこ
で、最近になって、並行プログラミング言語ならではの独自の型システムが提
案されてきました。
本課題では、その中で代表的な次の３つの論文（のいくつか）を読んでもらい、
理解した内容を発表してもらいます。
- B.C.Pierce and D.Sangiorgi, "Typing and Subtyping for Mobil Processes,"
IEEE LICS93, pp376--385, 1993.
- N.Kobayashi, B.C.Pierce, and D.N.Turner, "Linearity and the Pi-Calculus,"
ACM POPL96, pp358--371, 1996.
- N.Kobayashi, "A Partially Deadlock-Free Typed Process Calculus,"
ACM TOPLAS, 1998.
課題一覧へ
：
koba@is.s.u-tokyo.ac.jp