坂部 俊樹

Articles:  1-1 of 1

  • Extending program-generation system GeneSys for allowing negation in equational specifications  [in Japanese]

    近藤 悟 , 酒井 正彦 , 坂部 俊樹 , 草刈 圭一郎 , 西田 直樹 , KONDO Satoru , SAKAI Masahiko , SAKABE Toshiki , KUSAKARI Keiichirou , NISHIDA Naoki

    プログラム生成系GeneSysは一階述語論理で記述された仕様からの実行可能なプログラム生成を目的とした手法である.本論文では,GeneSysで否定記号を含む論理式を扱うために既存の変換規則を拡張し,否定記号を用いた仕様からのプログラム生成の例を示す.また,否定記号に関連する変換規則などを新たに追加し,これによりプログラムの生成が可能になる例を示す. Program-Generation Syste …

    電子情報通信学会技術研究報告SS, ソフトウェアサイエンス 107(392), 43-48, 2007-12

    IR 

Page Top