...
首页> 外文期刊>LIPIcs : Leibniz International Proceedings in Informatics >Refinement Types as Higher-Order Dependency Pairs
【24h】

Refinement Types as Higher-Order Dependency Pairs

机译:优化类型作为高阶依赖对

获取原文
   

获取外文期刊封面封底 >>

       

摘要

Refinement types are a well-studied manner of performing in-depth analysis on functional programs. The dependency pair method is a very powerful method used to prove termination of rewrite systems; however its extension to higher-order rewrite systems is
机译:优化类型是对功能程序进行深入分析的一种经过充分研究的方式。依赖对方法是一种非常强大的方法,用于证明重写系统已终止;但是它扩展到高阶重写系统是

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号