Proof Methods for Corecursive Programs

Proof Methods for Corecursive Programs

Show other versions (1)

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 four methods for proving properties of corecursive programs: fixpoi...

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awduron:	Gibbons, J, Hutton, G
Fformat:	Journal article
Cyhoeddwyd:	2015

Eitemau Tebyg

Proof methods for corecursive programs
gan: Gibbons, J, et al.
Cyhoeddwyd: (2005)

Proof Methods for Structured Corecursive Programs
gan: Gibbons, J, et al.
Cyhoeddwyd: (1999)

Corecursive Algebras, Corecursive Monads and Bloom Monads
gan: Jiří Adámek, et al.
Cyhoeddwyd: (2014-09-01)

Program Correctness Proofs
gan: Hoare, C
Cyhoeddwyd: (1975)

Generic Programs and Proofs
gan: Hinze, R
Cyhoeddwyd: (2000)

Induction in Proofs about Programs
gan: Greif, Irene Gloria
Cyhoeddwyd: (2023)

Proof of a Program: FIND
gan: Hoare, C
Cyhoeddwyd: (1971)

An Integrated Proof Language for Imperative Programs
gan: Zee, Karen, et al.
Cyhoeddwyd: (2010)

Proof of a Recursive Program: Quicksort
gan: Foley, M, et al.
Cyhoeddwyd: (1971)

Model and proof generation for heap-manipulating programs
gan: Brain, M, et al.
Cyhoeddwyd: (2014)

Proof of a Structured Program: ‘The Sieve of Eratosthenes'
gan: Hoare, C
Cyhoeddwyd: (1972)

Model and Proof Generation for Heap−Manipulating Programs
gan: Brain, M, et al.
Cyhoeddwyd: (2014)

Adapting proofs-as-programs : the curry - howard protocol /
gan: 287020 Poernomo, Iman Hafiz, et al.
Cyhoeddwyd: (2005)

The generic approximation lemma
gan: Hutton, G, et al.
Cyhoeddwyd: (2001)

The Generic Approximation Lemma
gan: Hutton, G, et al.
Cyhoeddwyd: (2001)

Proofs that really count : the art of combinatorial proof /
gan: 238044 Benjamin, Arthur T., et al.
Cyhoeddwyd: (2003)

Proof methods for modal and intuitionistic logics /
gan: Fitting, Melvin, 1942-
Cyhoeddwyd: (1983)

Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs
gan: Gibbons, J
Cyhoeddwyd: (1999)

Infinite Analysis, Lucky Proof, and Guaranteed Proof in Leibniz
gan: Rodriguez-Pereyra, G, et al.
Cyhoeddwyd: (2011)

When is a Function a Fold or an Unfold?
gan: Gibbons, J, et al.
Cyhoeddwyd: (2001)

When is a function a fold or an unfold?
gan: Gibbons, J, et al.
Cyhoeddwyd: (2001)

Proofs with Graphs
gan: Curtis, S, et al.
Cyhoeddwyd: (1996)

Proof constructions and evaluations
gan: Stylianides, G, et al.
Cyhoeddwyd: (2009)

Dealing with proofs
gan: Ng, K.H., et al.
Cyhoeddwyd: (2009)

Proof /
gan: Plumpton, C. (Charles), et al.
Cyhoeddwyd: (1984)

Proof /
gan: Architectural League of New York
Cyhoeddwyd: (2008)

Living proof /
gan: 459964 Thompson, Peter J.
Cyhoeddwyd: (2003)

Bullet proof
gan: Binner, J, et al.
Cyhoeddwyd: (2013)

Extracting proofs from tabled proof search
gan: Miller, Dale., et al.
Cyhoeddwyd: (2013)

Programming in haskell /
gan: 266356 Hutton, Graham
Cyhoeddwyd: (2007)

GGH15 Beyond Permutation Branching Programs: Proofs, Attacks, and Candidates
gan: Chen, Yilei, et al.
Cyhoeddwyd: (2021)

EVALUATION OF THE CRISIS-PROOF PROGRAMS’ DEVELOPMENT IN RUSSIAN FEDERATION SINCE 2009
gan: A. A. Prokhorova
Cyhoeddwyd: (2016-10-01)

Proof constructions and evaluations
gan: Stylianides, A, et al.
Cyhoeddwyd: (2009)

Proof constructions and evaluations
gan: Stylianides, A, et al.
Cyhoeddwyd: (2009)

Elementary set theory : proof techniques proof techniques /
gan: 365632 Gordon, Carl E., et al.
Cyhoeddwyd: (1975)

Rational proofs
gan: Azar, Pablo Daniel, et al.
Cyhoeddwyd: (2012)

Commenting Proofs
gan: Geiser, James R.
Cyhoeddwyd: (2004)

Burden of proof
gan: du Sautoy, M
Cyhoeddwyd: (2006)

Addicted to Proof
gan: Shor, Peter Williston
Cyhoeddwyd: (2021)

Addicted to Proof
gan: Shor, Peter
Cyhoeddwyd: (2021)