@inproceedings{CTT100711036,
  author = {森口草介 and 渡部卓雄},
  title = {Coqのための対話的修正機構を用いた変更の織り込み手法},
  booktitle = {},
  year = 2011,
}

@inproceedings{CTT100711035,
  author = {久間恵美子 and 渡部卓雄},
  title = {補償型計算による実行監視機構のアクターモデルに基づく実現にむけて},
  booktitle = {},
  year = 2011,
}

@inproceedings{CTT100711037,
  author = {Ilankaikone Senthooran and Julian Prokay and Takuo Watanabe},
  title = {On Generating Realtime Programs with Runtime Checking: From Timed Automata to Realtime Programs on Non-Realtime Environments},
  booktitle = {IEICE technical report},
  year = 2011,
}

@inproceedings{CTT100621107,
  author = {久間恵美子 and 松本大介 and 西崎真也 and 渡部卓雄},
  title = {オブジェクト計算における変更可能な継続},
  booktitle = {情報処理学会 第73回全国大会講演論文集},
  year = 2011,
}

@inproceedings{CTT100711039,
  author = {山田一宏 and 渡部卓雄 and 森口草介 and 西崎真也},
  title = {証明支援系を用いたMorrisの二分木走査アルゴリズムの検証},
  booktitle = {情報処理学会研究報告ソフトウェア工学},
  year = 2011,
}

@inproceedings{CTT100711040,
  author = {新井一郎 and 渡部卓雄},
  title = {ハイブリッドマルチコア環境における関数型言語の実現手法},
  booktitle = {第73回全国大会講演論文集},
  year = 2011,
}

@inproceedings{CTT100711038,
  author = {渡部卓雄 and 森口草介 and 山田一宏 and 西崎真也},
  title = {プログラム変換を用いたポインタ操作プログラムの検証にむけて: Morrisの二分木走査アルゴリズムによるケーススタディ},
  booktitle = {信学技報},
  year = 2011,
}