Proof Methods for Structured Corecursive Programs

Corecursive programs produce values of greatest fixpoint types, in contrast to recursive programs, which consume values of least fixpoint types. There are a number of widely used methods for proving properties of corecursive programs, including fixpoint induction, the <em>take lemma</em>...

Cijeli opis

Bibliografski detalji
Glavni autori: Gibbons, J, Hutton, G
Format: Conference item
Izdano: 1999