国内会議発表 (査読なし・不明)

• 森口草介, 渡部卓雄. Coqのための対話的修正機構を用いた変更の織り込み手法, 日本ソフトウェア科学会第28回大会, Sept. 2011.
• 久間恵美子, 渡部卓雄. 補償型計算による実行監視機構のアクターモデルに基づく実現にむけて, 日本ソフトウェア科学会第28回大会, Sept. 2011.  公式リンク  
  
• Ilankaikone Senthooran, Julian Prokay, Takuo Watanabe. On Generating Realtime Programs with Runtime Checking: From Timed Automata to Realtime Programs on Non-Realtime Environments, 電子情報通信学会ソフトウェアサイエンス研究会(SIGSS), IEICE technical report, IEICE, Vol. 111, No. 168, pp. 75-80, July 2011.  公式リンク  
  
• 久間恵美子, 松本大介, 西崎真也, 渡部卓雄. オブジェクト計算における変更可能な継続, 情報処理学会 第73回全国大会, 情報処理学会 第73回全国大会講演論文集, 情報処理学会, Mar. 2011.
• 山田一宏, 渡部卓雄, 森口草介, 西崎真也. 証明支援系を用いたMorrisの二分木走査アルゴリズムの検証, 情報処理学会ソフトウェア工学研究会, 情報処理学会研究報告ソフトウェア工学, Vol. SE-171, No. 26, pp. 1-4, Mar. 2011.  公式リンク  
  
• 新井一郎, 渡部卓雄. ハイブリッドマルチコア環境における関数型言語の実現手法, 情報処理学会第73回全国大会, 第73回全国大会講演論文集, pp. 199-200, Mar. 2011.  公式リンク  
  
• 渡部卓雄, 森口草介, 山田一宏, 西崎真也. プログラム変換を用いたポインタ操作プログラムの検証にむけて: Morrisの二分木走査アルゴリズムによるケーススタディ, 電子情報通信学会ソフトウェアサイエンス研究会(SIGSS), 信学技報, 電子情報通信学会, Vol. 110, No. 458, pp. 97-102, Feb. 2011.  公式リンク  
  

[ BibTeX 形式で保存 ]    [ 論文・著書をCSV形式で保存 ]    [ 特許をCSV形式で保存 ]