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

第53回 2005-03-17 ~ 2005-03-18 東京工業大学大岡山キャンパス西8号館E棟10階研究科大会議室

(53-1) 構文解析器生成系と構文エラー処理
    真幡 康徳,中井 央 (筑波大学)
(53-2) コンパイラにおける意味解析器の自動生成
    舞田 純一,中井 央 (筑波大学)
(53-3) 脆弱性の動的検知機能との連携を考慮した構造化例外処理の設計
    千葉 雄司 (中央大学)
(53-4) データベース向けアクセス制御の機能強化によるSQLインジェクション対策
    後藤 久美子,千葉 雄司,土居 範久 (中央大学)
(53-5) 再現コンパイル手法を用いたJava JITコンパイラの問題判別
    緒方 一則,小野寺 民也,河内谷 清久仁,小松 秀昭,中谷 登志男 (日本IBM)
(53-6) 追加機能を含んだAda 95プログラムのためのタスキングデッドロック検出ツール
    藤乘 靖士,奈良 信介,後藤 祐一,程 京徳 (埼玉大学)
(53-7) 検証済み型推論器生成のためのCoqライブラリ
    立花 健 (東京工業大学),小林 直樹 (東北大学)
(53-8) Efficient and Portable Implementation of Java-style Exception Handling in C
    馬谷 誠二 (京都大学),庄林 宏和 (西日本電信電話株式会社),八杉 昌宏,湯淺 太一 (京都大学)
(53-9) A Retargetable Code Generator for the Generic Intermediate Language in COINS
    阿部 正佳,萩谷 昌己 (東京大学),中田 育男 (法政大学)
(53-10) 静的単一代入形式からの逆変換アルゴリズムの比較と評価
    伊藤 陽 (東京工業大学),小濱 真樹 (富士写真フィルム),佐々 政孝 (東京工業大学)
(53-11) A Rewrite System with Incomplete Regular Expression Type for Transformation of XML Documents
    鈴木 太朗 (会津大学),奥居 哲 (中部大学)
(53-12) 要求の粒度が調節可能な遅延評価機構
    森本 武資,岩崎 英哉,竹内 郁雄 (電気通信大学)
(53-13) パターンマッチに基づくバイトコード変換とその型安全性
    川上 祐介,鎌田 十三郎 (神戸大学)
(53-14) Javaクラスファイル差分更新システム
    吉川 隆英,小沢 年弘 (富士通研究所)
(53-15) 静的プロファイルを用いたファイル・プリフェッチ手法の提案
    安江 俊明,小松 秀昭,中谷 登志男 (日本IBM)