情報処理学会 プログラミング研究会
第50回 2004-07-30 ~ 2004-07-31 青森市文化会舘 (SWoPP 青森2004)
(50-1) ノンブロッキング型動的負荷分散を用いた並列ガーベージコレクション方式
前田 宗則，中村 実，小沢 年弘 (富士通研究所)
(50-2) 実行時依存解析に基づく半自動並列化の効率的実装
早津 政和，田浦 健次朗，近山 隆 (東京大学)
(50-3) Aspect-Oriented Design Patterns for a Java Bytecode Analyzer Framework
山崎 進，松本 充広 (FLEETS)，中西 恒夫，北須賀 輝明，福田 晃 (九州大学)
(50-4) XMLを用いた言語間変換
柴田 有，平木 敬 (東京大学)
(50-5) テンプレート・メタ・プログラミングによるFFTの適応的最適化
神戸 隆行 (無所属)
(50-6) モード切替機構をもつ分散環境向けJava集合ライブラリの提案
鎌田 十三郎，森本 昌治，二ッ森 大介 (神戸大学)
(50-7) 階層グラフ書換え言語における並行プロセスの型推論
加藤 紀夫，上田 和紀 (早稲田大学)
(50-8) Verification of concurrent programs using the Coq theorem prover: a case study
Reynald Affeldt (東京大学)，Naoki Kobayashi (東京工業大学)，Akinori Yonezawa (東京大学)
(50-9) Logic-based Binding Time Analysis for Java using Reaching Definitions
山崎 進 (FLEETS)，神戸 隆行 (無所属)，松本 充広 (FLEETS)，中西 恒夫，北須賀 輝明，福田 晃 (九州大学)
(50-10) 例外依存関係を越える部分冗長性除去
大平 怜，平木 敬 (東京大学)
(50-11) .NET Framework Based Grid Computing Environment
DE BONNAFOS, Joseph (基盤情報学)
(50-12) LMNtal処理系および他言語インタフェースの設計と実装
原 耕司，水野 謙，矢島 伸吾，永田 貴彦，中島 求，加藤 紀夫，上田 和紀 (早稲田大学)