情報処理学会 プログラミング研究会
第74回 2009-06-08 ~ 2009-06-09 東京工業大学大岡山キャンパス西8号館E棟10階研究科大会議室
(74-1) アスペクト指向言語における操作の抽象化方式
森口 草介，渡部 卓雄 (東京工業大学)
(74-2) 属性付きグラフ書換え系による計算モデルの表現とその応用
東 達軌，武田 正之 (東京理科大学)
(74-3) スクリプト言語コンパイラのための評価による最適化
戸澤 晶彦，小野寺 民也 (日本IBM)
(74-4) データ列に関するアルゴリズムの属性文法の逆変換に基づく導出
森本 真一 (日本電気航空宇宙システム)
(74-5) Decidability and Undecidability Results of Modal mu-calculi with N_infty Semantics
Alexis Goyet，萩谷 昌己，田辺 良則 (東京大学)
(74-6) 質問伝播に基づく投機的部分冗長除去
滝本 宗宏 (東京理科大学)
(74-7) 電子現金の分割利用可能性の形式化と帰納的証明
吉丸 始須雄，高橋 和子 (関西学院大学)
(74-8) 動的スクリプト言語処理系が動作する Java 仮想マシンのメモリ分析
三廻部 大，緒方 一則，河内谷 清久仁，小野寺 民也 (日本IBM)