講演番号 | 題目/著者 |
---|---|
B-034 | 隠蔽代数に基づく命令型プログラム言語の意味論の記述と検証 渡辺 真啓, 中村 正樹, 二木 厚吉, |
B-035 | Provably Correct Translation from OTS/CafeOBJ Specifications to Java Programs Senachak Jittisak, 清野 貴博, 緒方 和博, 二木 厚吉, |
B-036 | 代数仕様言語CafeOBJと証明支援系CoqによるSTSプロトコルの形式化と検証 原 光太朗, 緒方 和博, 中村 正樹, 二木 厚吉, |
B-037 | Zによる仕様記述と状態遷移規則の比較による誤り検出法 平岡 雅也, 織田 健, |
B-038 | 効率のよいコース探査のための抽象化 大矢野 潤, |