PPL2008オンライン予稿集

PPL2008で採録・発表された論文（カテゴリ１）がWebで公開されました。ご投稿＆発表＆論文公開許可などなど、いろいろと本当にありがとうございました。＞著者各位

http://www.nue.riec.tohoku.ac.jp/ppl2008/program.html

Shiro Kawai (Scheme Arts, L.L.C.)

Efficient flonum handling on a stack-based VM for dynamically typed languages

笹田耕一 (東京大学大学院情報理工学系研究科)

Ruby処理系での軽量な浮動小数点数表現

伊奈林太郎*, 五十嵐淳** (*京都大学工学部情報学科, **京都大学大学院情報学研究科)

Featherweight Javaのための漸進的型付け

倉光君郎 (横浜国立大学大学院工学研究院)

Konoha: ハイブリッドな型検査システムを備えたスクリプティング言語

堀江倫大, 千葉滋 (東京工業大学大学院情報理工学研究科数理・計算科学専攻)

クラスのインターフェースやその振る舞いに及ぼすアスペクトの影響の解析と可視化

田渕直, 立石孝彰, 岩間太 (日本アイ・ビー・エム東京基礎研究所)

静的解析を用いない純粋に動的な情報フロー制御

酒井政裕*，萩野達也** (*株式会社東芝 研究開発センター システム技術ラボラトリー，**慶應義塾大学環境情報学部)

非正格関数の融合変換における始代数の存在について

森畑明昌, 松崎公紀, 胡振江, 武市正人 (東京大学大学院情報理工学系研究科)

仕様記述言語に基づく最適経路問題の解法の導出

阪上紗里, 浅井健一 (お茶の水女子大学)

対称λ計算の基礎理論

吉田順一, 青戸等人, 外山芳人 (東北大学電気通信研究所)

項書き換えシステムの合流性自動判定

嶌津聡志, 青戸等人, 外山芳人 (東北大学電気通信研究所)

反証機能付き書き換え帰納法のための補題自動生成法

松田一孝*, 胡振江*, 中野圭介*，浜名誠**，武市正人* (*東京大学情報理工学系研究科，**群馬大学工学研究科)

補関数の生成による複製を含むプログラムの自動双方向化

吉田昌起, 橋本健二, 石原靖哲, 藤原融 (大阪大学大学院情報科学研究科)

XMLスキーマ更新操作に応じたXSLT文書変換プログラムの自動生成法

仲井間達也*，五十嵐淳*，小林直樹** (*京都大学大学院情報学研究科，**東北大学大学院情報科学研究科)

文脈依存資源使用解析のための型システム

吉田聡*，竹内泉*，小池憲史**，大崎人士* (*産業技術総合研究所システム検証研究センター，**矢崎総業株式会社技術研究所)

図示記法表現とLTL論理式

Dai Ikarashi*, Yoshinori Tanabe**, Koki Nishizawa***,Masami Hagiya**** (*Graduate School of Information Science and Technology, The University of Tokyo, **Research Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology (AIST), ***Tohoku University, ****NTT Communication Science Laboratories)

Modal μ-calculus on min-plus algebra N∞

滝本宗宏*，佐々政孝** (*東京理科大学理工学部情報科学科，**東京工業大学情報理工学研究科数理・計算科学専攻)

質問伝播に基づく要求駆動型大域値番号付け

東達軌*, 山口文彦*，山崎克典** (*東京理科大学大学院理工学研究科情報科学専攻，**東京理科大学理工学部情報科学科)

index長に依存した長さの先読みを行う構文解析器生成系

井上俊哉, 岩田匡史, 大山口通夫, 山田 俊行 (三重大学)

C言語の教育用サブセットと型検査法について