坂部 俊樹

Articles:  1-1 of 1

  • Rewriting Induction for Constrained Term Rewriting Systems  [in Japanese]

    坂田 翼 , 西田 直樹 , 坂部 俊樹 , 酒井 正彦 , 草刈 圭一朗 , Sakata Tsubasa , Nishida Naoki , Sakabe Toshiki , Sakai Masahiko , KUSAKARI Keiichirou

    帰納的定理の証明原理の 1 つである潜在帰納法が制約付き項書換え系に対応するように拡張され,命令型プログラムの等価性検証に応用されている.本論文では,別の証明原理である書換え帰納法を制約付き項書き換え系に対応するように拡張するとともに,その正しさを証明する.また,拡張された書換え帰納法に基づいた帰納的定理の証明法を提案する.さらに,帰納的定理でないことを示す反証の手法についても議論する. The …

    情報処理学会論文誌, プログラミング 2(2), 80-96, 2009-03

    IR 

Page Top