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

第59回 2006-06-01 産業技術総合研究所 秋葉原サイト

(59-1) Java向けヒープに対する不正参照のページ保護による検出
    千葉 雄司 (日立製作所)
(59-2) ユーザ入力の構文木解析によるSQLインジェクション攻撃防御法
    金子 佳樹,岩崎 英哉 (電気通信大学)
(59-3) ソフトウェア・パイプライニングの一実現法
    中田 育男 (法政大学)
(59-4) Join Tokens --- オブジェクト間相互作用記述のための言語機構
    西森 丈俊,久野 靖 (筑波大学)
(59-5) Execution Time Analysis for Binary Code Executed on a Pipelined Processor Using Parametric Model Checking
    藤田 裕久,深町 司郎,中田 明夫,東野 輝夫 (大阪大学)
(59-6) Program Transformation by Templates: A Rewriting Framework
    千葉 勇輝,青戸 等人,外山 芳人 (東北大学)
(59-7) あいまい性が強い文脈自由文法の枝刈りに基づく効率的な構文解析
    森本 真一 (NEC航空宇宙システム),石畑 清,疋田 輝雄 (明治大学)