チャネル使用法計算に基づく 部分的デッドロック・フリー 型付きプロセス計算の拡張
並行プログラミングの重要性
並行言語を構成する要素
並行プログラミングの問題点
既存の研究
デッドロック・フリー計算 (1/3)
デッドロック・フリー計算 (2/3)
デッドロック・フリー計算 (3/3)
今回の研究：目的とアイディア
使用法計算：骨格
使用法計算：能力と義務
使用法計算：正当性
使用法計算：従来の使用法の表現
型システムの拡張：型付け規則
型システムの拡張：型判定
型システムの正しさ
型検査規則と型検査器
結論と今後の課題
比較に利用するプログラム
今までの型付け
新しい型付け
電子ﾒｰﾙ : sumii@is.s.u-tokyo.ac.jp
ﾎｰﾑ ﾍﾟｰｼﾞ : http://www.is.s.u-tokyo.ac.jp/~sumii/pub/
ﾌﾟﾚｾﾞﾝﾃｰｼｮﾝのﾀﾞｳﾝﾛｰﾄﾞ