情報処理学会 プログラミング研究会

第42回 2003-01-23 ~ 2003-01-24 名古屋大学ベンチャービジネスラボラトリ

(42-1) 効率的なJava Dynamic AOPシステムを実現するJust-in-Time weaver
    佐藤 芳樹,千葉 滋 (東京工業大学)
(42-2) ランダムテストプログラムによるJava JITコンパイラ検証システム
    吉川 隆英,志村 浩也,小沢 年弘 (富士通研究所)
(42-3) プッシュダウンシステムの拡張およびそのモデル検査法
    新田 直也,関 浩之 (奈良先端科学技術大学院大学)
(42-4) モデル検査技術を利用したプログラム解析の自動生成
    山岡 裕司,胡 振江,武市 正人 (東京大学),小川 瑞史 (東京大学/科学振興事業団)
(42-5) Webアプリケーションにおけるイメージ指向プログラミングの試み
    下村 隆夫 (徳島大学),高橋 宗雄 (桐蔭横浜大学),池田 建司,最上 義夫 (徳島大学)
(42-6) リアルタイムシステムのためのビジュアルなソフトウェア開発環境の開発
    山県 仁嗣,山口 真悟,田中 稔 (山口大学)
(42-7) クラスファイル変換によるJavaプログラムの実行制御
    丸山 一貴 (東京大学大学院),寺田 実 (電気通信大学)
(42-8) Schemeインタプリタにおける仮想マシンアーキテクチャの最適化
    前田 敦司,山口 喜教 (筑波大学)
(42-9) インクリメンタルなメジャーコレクションを行なう世代別GC
    前田 敦司,山口 喜教 (筑波大学)
(42-10) 日本語プログラミング環境の構築とその活用
    宮脇 冨士夫,渡邉 勝正 (奈良先端科学技術大学院大学)
(42-11) 初中等教育におけるオブジェクト指向プログラミングの実践と評価
    兼宗 進 (筑波大学),中谷 多哉子 (エス・ラグーン),御手洗 理英 (アーマット),福井 眞吾,久野 靖 (筑波大学)
(42-12) ファーストクラス継続をもつオブジェクト計算
    西崎 真也,小田 崇史 (東京工業大学)
(42-13) 継続の生成におけるスタックコピーの遅延
    鵜川 始陽,皆川 宜久,小宮 常康,八杉 昌宏,湯淺 太一 (京都大学)
(42-14) 共有メモリプログラミングのための拡張C言語
    高田 潤,八杉 昌宏,小宮 常康,湯淺 太一 (京都大学)
(42-15) ¬<><∪∪ (notavaCC) オブジェクト指向抽象構文木を生成するコンパイラ・コンパイラ
    小藤 哲彦,河野 健二,竹内 郁雄 (電気通信大学)
(42-16) インクリメンタルな解析による空間解析器の高速化
    飯塚 和久,亀山 裕亮,志築 文太郎,田中 二郎 (筑波大学)