CSFW-14報告
スポンサーリンク
概要
- 論文の詳細を見る
- 2001-11-22
著者
関連論文
- TACS 2001およびManfred Paul賞授賞式
- 動的に型付けされた言語のためのオンラインな型主導部分評価(特集●プログラミング及びプログラミング言語)
- POPL/PEPM'99会議報告
- POPL/PEPM'99会議報告
- セキュリティプロトコルの略式記法からspi計算への変換
- 例外処理機構を備えた命令型言語のCPS変換とその定式化
- 暗号化通信のspi計算による形式的検証
- 安全性を保証するANSI-C実行系の実装手法(プログラミング及びプログラミング言語)
- CSFW-14報告