1月18日(木)午後

セッション１: 12:50--15:05  [座長] 八杉 昌宏 (京都大学)

(1) 一対多非同期結合型のデバッガによるWebアプリケーションのセッションアウェアな連続追跡
    ○小菅 圭介, 佐藤 規男 (金沢工業大学)

(2) COINS を用いるためのコンパイラの自動生成の一方式
    ○舞田 純一, 中井 央, 佐藤 聡  (筑波大学)

(3) 世代管理を保守的に行う世代別GCアルゴリズムの提案およびRubyへの実装と評価
    ○五百蔵 重典, 西尾 孝典, 野木 兼六  (神奈川工科大学)

[休憩: 15:05--15:15]

セッション２: 15:15--16:45  [座長] 加藤 暢 (近畿大学)

(4) On-the-fly model checking security protocols and its implementation by Maude
    ○Li Guoqiang, Mizuhito Ogawa  (北陸先端大)

(5) 双方向CTLによるJava最適化器の生成
    ○方 玲, 佐々 政孝  (東京工業大学)

[休憩: 16:45--16:55]

セッション３: 16:55--18:25  [座長] 河野 真治 (琉球大学)

(6) Ajax による Collaborative 分散 MVC アーキテクチャ
    ○長尾 雄行, 土屋 陽介, 森本 祥一, 中鉢 欣秀 (産業技術大学院大学)

(7) An Equivalence Relation for Typed Ambient Calculus
    ○加藤 暢  (近畿大学)

----------------------------------------------

1月19日(金)午前

セッション４: 8:50--10:20  [座長] 小川 瑞史 (北陸先端大)

(8) 並行プログラミング言語へのチャネル使用法宣言の導入
    ○須藤 崇, 小林 直樹  (東北大学)

(9) 部分計算に基づく遷移述語抽象化
    ○フレデリクセン カール クリスチャン, 萩谷 昌己 (東京大学)

[休憩: 10:20--10:30]

セッション５: 10:30--12:00  [座長] 小林 直樹  (東北大学)

(10) 階層化コントロールオペレータに対する型システムの構築
     ○鈴木 輝信, 亀山 幸義  (筑波大学)

(11) 連邦型タプルスペースを使ったコンパクトルーティングの実験
     ○淵田 良彦, 河野 真治  (琉球大学)

----------------------------------------------

[昼休み 12:00--13:00]

----------------------------------------------

1月19日(金)午後

セッション６: 13:00--15:15  [座長]  五百蔵 重典 (神奈川工科大学) 

(12) Ambient Calculusを用いた物流検査システム
     ○森本 大輔, 加藤 暢, 樋口 昌宏  (近畿大学)

(13) Java向け動的コンパイラによる冗長なBox化の削除
     ○千葉 雄司 (日立製作所)

(14) 効率的なプロファイリングを目的としたメソッドキャッシュにおけるエントリ置換アルゴリズムの提案
     ○長田 忍, 楢崎 修二 (長崎大学)

[休憩: 15:15--15:30]

セッション７: 15:30--17:00  [座長]  楢崎 修二  (長崎大学)

(15) OSカーネル用アスペクト指向システム KLASY
     ○柳澤 佳里, 光来 健一, 千葉 滋, 石川 零  (東京工業大学)

(16) 例外処理のためのアスペクト指向言語
     ○熊原 奈津子, 千葉 滋  (東京工業大学)

----------------------------------------------