情報処理学会 プログラミング研究会
第62回 2007-01-18 ~ 2007-01-19 メルパルク沖縄
(62-1) 一対多非同期結合型のデバッガによるWebアプリケーションのセッションアウェアな連続追跡
小菅 圭介，佐藤 規男 (金沢工業大学)
(62-2) COINS を用いるためのコンパイラの自動生成の一方式
舞田 純一，中井 央，佐藤 聡 (筑波大学)
(62-3) 世代管理を保守的に行う世代別GCアルゴリズムの提案およびRubyへの実装と評価
五百蔵 重典，西尾 孝典，野木 兼六 (神奈川工科大学)
(62-4) On-the-fly model checking security protocols and its implementation by Maude
Li Guoqiang，Mizuhito Ogawa (北陸先端科学技術大学院大学)
(62-5) 双方向CTLによるJava最適化器の生成
方 玲，佐々 政孝 (東京工業大学)
(62-6) Ajax による Collaborative 分散 MVC アーキテクチャ
長尾 雄行，土屋 陽介，森本 祥一，中鉢 欣秀 (産業技術大学院大学)
(62-7) An Equivalence Relation for Typed Ambient Calculus
加藤 暢 (近畿大学)
(62-8) 並行プログラミング言語へのチャネル使用法宣言の導入
須藤 崇，小林 直樹 (東北大学)
(62-9) 部分計算に基づく遷移述語抽象化
フレデリクセン カール クリスチャン，萩谷 昌己 (東京大学)
(62-10) 階層化コントロールオペレータに対する型システムの構築
鈴木 輝信，亀山 幸義 (筑波大学)
(62-11) 連邦型タプルスペースを使ったコンパクトルーティングの実験
淵田 良彦，河野 真治 (琉球大学)
(62-12) Ambient Calculusを用いた物流検査システム
森本 大輔，加藤 暢，樋口 昌宏 (近畿大学)
(62-13) Java向け動的コンパイラによる冗長なBox化の削除
千葉 雄司 (日立製作所)
(62-14) 効率的なプロファイリングを目的としたメソッドキャッシュにおけるエントリ置換アルゴリズムの提案
長田 忍，楢崎 修二 (長崎大学)
(62-15) OSカーネル用アスペクト指向システム KLASY
柳澤 佳里，光来 健一，千葉 滋，石川 零 (東京工業大学)
(62-16) 例外処理のためのアスペクト指向言語
熊原 奈津子，千葉 滋 (東京工業大学)