情報処理学会 プログラミング研究会
第41回 2002-10-18 ~ 2002-10-19 関西学院大学 神戸三田キャンパス
(41-1) Javaアプリケーション組み込み用のLispドライバ
湯淺 太一 (京都大学)
(41-2) Scheme処理系におけるC言語拡張コードへのライトバリア自動挿入
花井 亮，小宮 常康，八杉 昌宏，湯淺 太一 (京都大学)
(41-3) モバイルエージェントのためのデータフロー解析とその応用
飯島 正，安田 幸弘，原田 賢一 (慶應義塾大学)
(41-4) MixJuice言語によるデザインパターンの改善
田中 哲，一杉 裕志 (産業技術総合研究所)
(41-5) オープンソース利用者のための支援環境の提案
張 珍良，亀山 渉 (早稲田大学)
(41-6) TCCT: タイマを柔軟に制御可能な時間付プロセス計算
伊藤 徹 (京都大学)，林 良生 (オムロン)，中島 玲二 (京都大学)，田辺 誠 (宇部工高専)
(41-7) Well-behaved Translations between Structural Operational Semantics
渡邊 宏 (産業技術総合研究所)
(41-8) Essentially algebraic structure for Kleene algebra with tests and its application to semantics of while programs
古澤 仁，木下 佳樹 (産業技術総合研究所)
(41-9) Flow Analytic Type System for Array Bound Checks
松野 裕，佐藤 周行 (東京大学)
(41-10) 単項的TRSにおける単一化問題について
三橋 一郎，大山口 通夫，太田 義勝，山田 俊行 (三重大学)
(41-11) 単純型付き項書換え系における停止性の自動証明
青戸 等人 (群馬大学)，山田 俊行 (三重大学)