情報処理学会 プログラミング研究会
第43回 2003-03-18 ~ 2003-03-19 情報処理学会会議室
(43-1) グラフ書き換えと時空間様相論理
萩谷 昌己 (東京大学)
(43-2) モデル検査器を用いた自動検針システムの仕様検証
早水 公二 (産業技術総合研究所)，篠崎 孝一 (関西電力株式会社)，高橋 孝一，渡邊 宏 (産業技術総合研究所)
(43-3) 一部のパス上で合成可能な任意の複数式に対する演算強度軽減法
川人 基弘，小松 秀昭，中谷 登志男 (日本IBM)
(43-4) 大容量キャッシュに向く圧縮型ガーベッジコレクションについて
藤川 国雄，新田 寛，寺島 元章 (電気通信大学)
(43-5) GIGA:空間解析器生成系におけるグラフィカルな文法定義システム
亀山 裕亮，飯塚 和久，志築 文太郎，田中 二郎 (筑波大学)
(43-6) 分散透過デバッガー機能の拡張
高木 利公，中里 秀則 (早稲田大学)
(43-7) 自動生成された候補からの選択によるソフトウェア要求モデル構築とプログラム生成
会田 拓己，大須賀 節雄 (早稲田大学)
(43-8) スレッド局所性を利用したJavaロックの高速化
河内谷 清久仁，古関 聰，小野寺 民也 (日本IBM)
(43-9) 動的コンパイル環境における実行時経路情報の構造的収集手法の提案
安江 俊明，菅沼 俊夫，小松 秀昭，中谷 登志男 (日本IBM)
(43-10) スクリプト言語用部分停止型マルチスレッドデバッガDioneaの開発
永井 和宏，伊藤 泰，佐藤 規男 (金沢工業大学)
(43-11) アクションゲーム記述に特化した言語
西森 丈俊，久野 靖 (筑波大学)
(43-12) スタックフレームからの到達性を利用した世代別GC
林 芳樹 (東京大学)，寺田 実 (電気通信大学)
(43-13) プログラムポイント毎の干渉解析を用いたレジスタ割り当て
水間 利治，佐々 政孝，脇田 建 (東京工業大学)
(43-14) 言語拡張コード再利用のための制約付きモジュールシステム
佐伯 豊 (東北大学)