草刈 圭一朗

Articles:  1-1 of 1

  • On non-termination proof of right-linear and right-shallow term rewriting systems based on forward narrowing  [in Japanese]

    服部 達哉 , 酒井 正彦 , 西田 直樹 , 草刈 圭一朗 , 坂部 俊樹 , HATTORI Tatsuya , SAKAI Masahiko , NISHIDA Naoki , KUSAKARI Keiichirou , SAKABE Toshiki

    順方向ナローイングに基づく非停止性証明解析はAProVE等の停止性証明ツールに採用されている.しかしながら,それが完全である項書換え系のクラス,すなわち,非停止性をもつならば順方向ナローイングに基づく解析でそれが証明可能となるクラスは知られていない.本論文では,依存対が右線形右シャローである項書換え系においては,順方向ナローイングに基づく解析が完全であることを示す. Detecting non-t …

    電子情報通信学会技術研究報告SS, ソフトウェアサイエンス 110(336), 31-36, 2010-12

    IR 

Page Top