首页> 外文OA文献 >Proving and Disproving Termination of Higher-Order Functions?

【2h】

Proving and Disproving Termination of Higher-Order Functions?

机译：证明和反驳高阶函数的终止？

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者

展开▼
作者单位

展开▼
年度 2008
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Automatically Disproving Fair Termination of Higher-Order Functional Programs [J] . Watanabe Keiichi, Sato Ryosuke, Tsukada Takeshi, ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2016,第9期

机译：自动取消高阶功能程序的公平终止
2. Static Dependency Pair Method for Proving Termination of Higher-Order Rewriting Systems [J] . KUSAKARI Keiichirou, ISOGAI Yasuo, SAKAI Masahiko, 電子情報通信学会技術研究報告. ソフトウェアサイエンス. Software Science . 2007,第99期

机译：证明高阶重写系统终止的静态依赖对方法
3. On Dependency Pair Method for Proving Termination of Higher-Order Rewrite Systems [J] . Masahiko SAKAI, Keiichirou KUSAKARI IEICE Transactions on Information and Systems . 2005,第3期

机译：证明终止高阶重写系统的依赖对方法
4. Proving and Disproving Termination of Higher-Order Functions [C] . Juergen Giesl, Rene Thiemann, Peter Schneider-Kamp International Workshop on Frontiers of Combining Systems . 2005

机译：证明和消除终止高阶函数
5. Automatically proving the termination of functional programs. [D] . Vroon, Daron. 2007

机译：自动证明功能程序的终止。
6. The Higher-Order Prover Leo-II [O] . Christoph Benzmüller, Nik Sultana, Lawrence C. Paulson, -1

机译：高阶证明者Leo-II
7. Proving and disproving termination of higher-order functions [O] . Jürgen Giesl, René Thiemann, Peter Schneider-kamp 2005

机译：证明和反驳高阶函数的终止

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号