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>...
Κύριοι συγγραφείς: | Gibbons, J, Hutton, G |
---|---|
Μορφή: | Conference item |
Έκδοση: |
1999
|
Παρόμοια τεκμήρια
-
Proof methods for corecursive programs
ανά: Gibbons, J, κ.ά.
Έκδοση: (2005) -
Proof Methods for Corecursive Programs
ανά: Gibbons, J, κ.ά.
Έκδοση: (2015) -
Corecursive Algebras, Corecursive Monads and Bloom Monads
ανά: Jiří Adámek, κ.ά.
Έκδοση: (2014-09-01) -
Proof of a Structured Program: ‘The Sieve of Eratosthenes'
ανά: Hoare, C
Έκδοση: (1972) -
Program Correctness Proofs
ανά: Hoare, C
Έκδοση: (1975)