「採録」14件

Modal μ-calculus on min-plus algebra N∞ and its aplications     Dai
IKARASHI, Yoshinori TANABE, Koki NISHIZAWA, Masami HAGIYA

高階スクリプトに対応した動的情報フロー制御   田渕直, 立石孝彰, 岩間太

型付き対称λ計算の基礎理論   阪上紗里, 浅井健一

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

Featherweight Javaのための漸進的型付け    伊奈林太郎, 五十嵐淳

反証機能付き書き換え帰納法のための補題自動生成法        嶌津聡志, 青戸等人, 外山芳人

補関数の生成による複製を含むプログラムの自動双方向化      松田一孝, 胡振江, 中野圭介, 浜名誠, 武市正人

文脈依存資源使用解析のための型システム     仲井間達也, 五十嵐淳, 小林直樹

非正格関数の融合変換における始代数の存在について        酒井政裕, 萩野達也

項書き換えシステムの合流性自動判定       吉田順一, 青戸等人, 外山芳人

index長に依存した長さの先読みを行う構文解析器生成系    東達軌, 山口文彦, 山崎克典

クラスのインターフェースやその振る舞いに及ぼすアスペクトの影響の解析と可視化  堀江倫大, 千葉滋

仕様記述言語に基づく最適経路問題の解法の導出  森畑明昌, 松崎公紀, 胡振江, 武市正人

質問伝播に基づく要求駆動型大域値番号付け    滝本宗宏, 佐々政孝


「萌芽的研究として採録」5件

「萌芽的研究」は、カテゴリ1の中でも特に萌芽的側面の大きい研究を
ご発表・議論していただくために設けられた区分で、内容により
通常セッションの一部か、特定セッションを予定しております。

C言語の教育用サブセットと型検査法について   井上俊哉, 岩田匡史, 大山口通夫, 山田 俊行

XMLスキーマ更新操作に応じたXSLT文書変換プログラムの自動生成法      吉田昌起, 橋本健二, 石原靖哲, 藤原融

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

図示記法表現とLTL論理式について       吉田聡, 竹内泉, 小池憲史, 大崎人士

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