2002年 情報科学技術フォーラム(FIT)

講演番号 題目/著者
B-1代数仕様言語CafeOBJのための拡張可能な前処理系

浅羽 義之,  中村 正樹,  天野 憲樹,  二木 厚吉,  

B-2代数仕様言語CafeOBJにおけるモデル検査

中野 昌弘,  中村 正樹,  緒方 和博,  二木 厚吉,  

B-3連を用いたwhileプログラムの意味論

木下 佳樹,  古澤 仁,  

B-4システムの横断的性質のための型代数

山口 陽平,  世木 博久,  

LB-1単一後継関数を持つ再帰プログラムからの再帰除去及び閉式化

市川 祐輔,  小西 善二郎,  二村 良彦,