草刈 圭一朗

Articles:  1-1 of 1

  • On Decidability of Context-Sensitive Termination for Right-Linear Right-Shallow Term Rewriting Systems  [in Japanese]

    御宿 義勝 , 酒井 正彦 , 坂部 俊樹 , 草刈 圭一朗 , 西田 直樹 , MISHUKU Yoshimasa , SAKAI Masahiro , SAKABE Toshiki , KUSAKARI Keiichirou , NISHIDA Naoki

    依存対が右線形右シャローである項書換え系のクラスでは,停止性および最内停止性が決定可能であることが示されている(内山ら2008年).しかし,文脈依存停止性の決定可能性は同クラスのうち,さらに左シャローであるクラスでしか示されていない.文脈依存書換えでは依存鎖中に停止しない項が存在することが,その停止性の解析を困難にしている.本論文ではまず,内山らの決定手続きが働かない左シャローでない項書換え系を例 …

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

    IR 

Page Top