TACS 2001およびManfred Paul賞授賞式

スポンサーリンク

概要

• 論文の詳細を見る
• 社団法人情報処理学会の論文
• 2002-02-05

著者

• 五十嵐 淳

  京都大学大学院情報学研究科

• 五十嵐 淳

  東京大学大学院総合文化研究科

• 住井 英二郎

  東京大学大学院情報理工学系研究科

• 住井 英二郎

  東北大学大学院情報科学研究科

関連論文

• Featherweight Java のための漸進的型付け
• 計算資源使用法検証における計算資源の仕様と実際の使用法との間の適合性検証アルゴリズム
• Generic Java : 多相的型付けによる安全かつ再利用性の高いオブジェクト指向プログラミング
• TACS 2001およびManfred Paul賞授賞式
• 特集「プログラミングおよびプログラミング言語」の編集にあたって
• MinCamlコンパイラ(ソフトウェア論文)
• spi計算における暗号プロトコルの形式的検証(数理的技法による情報セキュリティ)
• 動的に型付けされた言語のためのオンラインな型主導部分評価(特集●プログラミング及びプログラミング言語)
• POPL/PEPM'99会議報告
• POPL/PEPM'99会議報告
• 安全性を保証するANSI-C実行系の実装手法(プログラミング及びプログラミング言語)
• CSFW-14報告

もっと見る 閉じる

スポンサーリンク