情報処理学会 プログラミング研究会

第73回 2009-03-16 ~ 2009-03-17 東京大学駒場第1キャンパス18号館ホール

(73-1) ドメイン特化型言語のためのビジュアルエディタの定式化
    佐々木 晃,市川 寛 (法政大学),田沼 英樹 (東京工業大学)
(73-2) テンプレート・プログラミングモデルに基づく安全なクライアント・サーバ自動分割
    立堀 道昭,鈴村 豊太郎,小野寺 民也 (日本IBM)
(73-3) データ列に関するアルゴリズムの属性文法の逆変換に基づく導出
    森本 真一 (日本電気航空宇宙システム)
(73-4) リターンバリア型実時間ごみ集めの抽象モデル検査
    藤川 浩光,馬谷 誠二,八杉 昌宏,湯淺 太一 (京都大学)
(73-5) メソッド実行委託を用いたRubyプロセスの負荷分散ライブラリ
    川ノ上 哲規,岩崎 英哉,鵜川 始陽 (電気通信大学)
(73-6) 自動的等価性差分の抽出によるSSAコンパイラ最適化器の正しさの検証
    Ling F.,佐々 政孝 (東京工業大学)
(73-7) Computing the Cost of Typechecking of Composition of Macro Tree Transducers
    中野 圭介 (電気通信大学),Sebastian Maneth (National ICT Australia Ltd./University of New South Wales)