Proof Methods for Corecursive Programs

Proof Methods for Corecursive Programs

他のバージョン（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...

書誌詳細
主要な著者:	Gibbons, J, Hutton, G
フォーマット:	Journal article
出版事項:	2015

類似資料

Proof methods for corecursive programs
著者:: Gibbons, J, 等
出版事項: (2005)

Proof Methods for Structured Corecursive Programs
著者:: Gibbons, J, 等
出版事項: (1999)

Corecursive Algebras, Corecursive Monads and Bloom Monads
著者:: Jiří Adámek, 等
出版事項: (2014-09-01)

Program Correctness Proofs
著者:: Hoare, C
出版事項: (1975)

Generic Programs and Proofs
著者:: Hinze, R
出版事項: (2000)

Induction in Proofs about Programs
著者:: Greif, Irene Gloria
出版事項: (2023)

Proof of a Program: FIND
著者:: Hoare, C
出版事項: (1971)

An Integrated Proof Language for Imperative Programs
著者:: Zee, Karen, 等
出版事項: (2010)

Proof of a Recursive Program: Quicksort
著者:: Foley, M, 等
出版事項: (1971)

Model and proof generation for heap-manipulating programs
著者:: Brain, M, 等
出版事項: (2014)

Proof of a Structured Program: ‘The Sieve of Eratosthenes'
著者:: Hoare, C
出版事項: (1972)

Model and Proof Generation for Heap−Manipulating Programs
著者:: Brain, M, 等
出版事項: (2014)

Adapting proofs-as-programs : the curry - howard protocol /
著者:: 287020 Poernomo, Iman Hafiz, 等
出版事項: (2005)

The generic approximation lemma
著者:: Hutton, G, 等
出版事項: (2001)

The Generic Approximation Lemma
著者:: Hutton, G, 等
出版事項: (2001)

Proofs that really count : the art of combinatorial proof /
著者:: 238044 Benjamin, Arthur T., 等
出版事項: (2003)

Proof methods for modal and intuitionistic logics /
著者:: Fitting, Melvin, 1942-
出版事項: (1983)

Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs
著者:: Gibbons, J
出版事項: (1999)

Infinite Analysis, Lucky Proof, and Guaranteed Proof in Leibniz
著者:: Rodriguez-Pereyra, G, 等
出版事項: (2011)

When is a Function a Fold or an Unfold?
著者:: Gibbons, J, 等
出版事項: (2001)

When is a function a fold or an unfold?
著者:: Gibbons, J, 等
出版事項: (2001)

Proofs with Graphs
著者:: Curtis, S, 等
出版事項: (1996)

Proof constructions and evaluations
著者:: Stylianides, G, 等
出版事項: (2009)

Dealing with proofs
著者:: Ng, K.H., 等
出版事項: (2009)

Proof /
著者:: Plumpton, C. (Charles), 等
出版事項: (1984)

Proof /
著者:: Architectural League of New York
出版事項: (2008)

Living proof /
著者:: 459964 Thompson, Peter J.
出版事項: (2003)

Bullet proof
著者:: Binner, J, 等
出版事項: (2013)

Extracting proofs from tabled proof search
著者:: Miller, Dale., 等
出版事項: (2013)

Programming in haskell /
著者:: 266356 Hutton, Graham
出版事項: (2007)

GGH15 Beyond Permutation Branching Programs: Proofs, Attacks, and Candidates
著者:: Chen, Yilei, 等
出版事項: (2021)

EVALUATION OF THE CRISIS-PROOF PROGRAMS’ DEVELOPMENT IN RUSSIAN FEDERATION SINCE 2009
著者:: A. A. Prokhorova
出版事項: (2016-10-01)

Proof constructions and evaluations
著者:: Stylianides, A, 等
出版事項: (2009)

Proof constructions and evaluations
著者:: Stylianides, A, 等
出版事項: (2009)

Elementary set theory : proof techniques proof techniques /
著者:: 365632 Gordon, Carl E., 等
出版事項: (1975)

Rational proofs
著者:: Azar, Pablo Daniel, 等
出版事項: (2012)

Commenting Proofs
著者:: Geiser, James R.
出版事項: (2004)

Burden of proof
著者:: du Sautoy, M
出版事項: (2006)

Addicted to Proof
著者:: Shor, Peter Williston
出版事項: (2021)

Addicted to Proof
著者:: Shor, Peter
出版事項: (2021)