講演番号 | 題目/著者 |
---|---|
B-1 | 代数仕様言語CafeOBJのための拡張可能な前処理系 浅羽 義之, 中村 正樹, 天野 憲樹, 二木 厚吉, |
B-2 | 代数仕様言語CafeOBJにおけるモデル検査 中野 昌弘, 中村 正樹, 緒方 和博, 二木 厚吉, |
B-3 | 連を用いたwhileプログラムの意味論 木下 佳樹, 古澤 仁, |
B-4 | システムの横断的性質のための型代数 山口 陽平, 世木 博久, |
LB-1 | 単一後継関数を持つ再帰プログラムからの再帰除去及び閉式化 市川 祐輔, 小西 善二郎, 二村 良彦, |