情報処理学会 プログラミング研究会
第46回 2003-10-14 ~ 2003-10-15 岩手県立大学共通講義室304講義室
(46-1) 5種類のコードを用いてプログラム論理を記録する非VM型中間語の開発
堂免 信義 (リライアブルソフトウェア)，今城 哲二 (日立製作所)
(46-2) Refactoring Aspect-oriented Programs
Masanori Iwamoto，Jianjun Zhao (福岡工業大学)
(46-3) オブジェクト指向並列言語OPAのための遅延正規化手法
馬谷 誠二，八杉 昌宏，小宮 常康，湯淺 太一 (京都大学)
(46-4) 圧縮型ガーベッジコレクションの高速化
寺島 元章，新田 寛 (電気通信大学)
(46-5) 階層的グループ化に基づくコピー型ごみ集めによる局所性改善
八杉 昌宏，小宮 常康，湯淺 太一 (京都大学)
(46-6) 実行履歴を利用するスレッド別ごみ集め
千葉 雄司 (日立製作所)
(46-7) 非対称なスピンロックの提案とそのJavaへの応用
河内谷 清久仁，古関 聰，小野寺 民也 (日本IBM)
(46-8) Persistence of Termination for Non-Overlapping Term Rewriting Systems
岩見 宗弘 (島根大学)
(46-9) Characterizing Inductive Theorems by Extensional Initial Models in a Higher-Order Equational Logic
草刈 圭一朗，酒井 正彦，坂部 俊樹 (名古屋大学)