Using A Generalisation Critic to Find Bisimulations for Coinductive Proofs

Using A Generalisation Critic to Find Bisimulations for Coinductive Proofs
复制标题

使用泛化批评来寻找共归纳证明的互模拟

DOI：
--
复制
发表时间：
1997
期刊：
CADE
影响因子：
--
通讯作者：
I. Green
I. Green
中科院分区：
--
文献类型：
--
作者：
Louise Dennis;A. Bundy;I. Green

文献摘要

被引文献

相似文献

共归纳是一种在函数式语言推理中越来越重要的方法，这是由于惰性数据结构的日益突出。通过使用互模拟和证明，双相似性是一个同余在不同的领域，它可以用来证明两个过程的同余。
Coinduction is a method of growing importance in reasoning about functional languages, due to the increasing prominence of lazy data structures. Through the use of bisimulations and proofs that bisimilarity is a congruence in various domains it can be used to prove the congruence of two processes.