草刈 圭一朗

Articles:  1-1 of 1

  • Static Dependency Pair Method for Simply-Typed Term Rewriting and Related Techniques

    KUSAKARI Keiichirou , SAKAI Masahiko , 草刈 圭一朗 , 酒井 正彦

    我々が提案した関数プログラムの強力な停止性証明法である静的依存対法は一般には適用できないため取り扱うプログラムに一定の制限を課す必要がある.このような制限として我々は直接関数渡しと呼ばれる性質を提案した.本論文ではより適用範囲の広い関数渡しの安全条件を提案し,このクラスで静的依存対法が健全であることを示す.また,依存対法で停止性を証明する際には,引数切り落とし法や実効規則が重要となる.本論文では, …

    電子情報通信学会技術研究報告SS, ソフトウェアサイエンス 107(505), 19-24, 2008-02

    IR 

Page Top