ＰＰＬ２０１０　カテゴリ１採録論文（全１８件）


累積変数をもつ木変換プログラムの並列木縮約に基づく並列計算
森畑 明昌

多相型言語の変数名補完を行うEmacsモードの開発
後藤 拓実, 篠埜 功

拡大手法に基づく項書き換え系の合流性自動証明
道又 淳一, 青戸 等人, 外山 芳人

Towards Formal Construction of Assembly Arithmetic Functions from Pseudo-code
Reynald Affeldt

プログラム変換によるインタプリタからのコンパイラの導出
木谷 有沙, 浅井 健一

Applied Pi-Calculusの計算論的健全性のパーズを用いない証明
ウベール・コモン-ルンド, 萩谷 昌己, 川本 裕輔, 櫻田 英樹

逐次一貫性下の知識伝達を表す直観主義様相論理
平井 洋一

最適値の並列探索のための Improving Value の Fortress 実装
江本 健斗, 寺田 洋介, 松崎 公紀, 胡 振江, 武市 正人

型付き対称λ計算と古典論理
上田 やよい, 浅井 健一

限定継続のための TDPE に向けて
対馬 かなえ, 浅井 健一

極性をもたないセッション型システム
今井 敬吾, 結縁 祥治, 阿草 清滋

条件式の解析によるSQLインジェクション脆弱性検査法の精度改善
西田 誠幸, 大橋 知典, Heng Li

無限項書き換えシステムにおける強頭部正規化可能性の反証手続き
岩見 宗弘, 青戸 等人

情報流仕様に基づくアクセス権検査文自動挿入法
高田 喜朗, 森田 剛正, 関 浩之

汎用的に証明木のGUIを作成する『Mikiβ』の開発
櫻井 加奈子, 浅井健一

リダクションループに対する行列積に基づく自動並列化器の設計と実装
佐藤 重幸

shift/reset による Caml Light の拡張に向けて
増子 萌, 浅井 健一

セマンテックマッピングによるキャスト操作の拡張
倉光 君郎