首页> 外文OA文献 >Proof Methods for Corecursive Programs
【2h】

Proof Methods for Corecursive Programs

机译:Corecursive程序的证明方法

代理获取
本网站仅为用户提供外文OA文献查询和代理获取服务,本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文,但由于OA文献来源多样且变更频繁,仍可能出现获取不到、文献不完整或与标题不符等情况,如果获取不到我们将提供退款服务。请知悉。

摘要

Recursion is a well-known and powerful programming technique, with a wide variety of applications. The dual technique of corecursion is less well-known, but is increasingly proving to be just as useful. This article is a tutorial on the four main methods for proving properties of corecursive programs: fixpoint induction, the approximation (or take) lemma, coinduction, and fusion.
机译:递归是一种众所周知且功能强大的编程技术,具有多种应用程序。 corecursion的双重技术鲜为人知,但越来越有用。本文是有关证明Corecursive程序属性的四种主要方法的教程:定点归纳,逼近(或取走)引理,共归和融合。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号