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