Proof Methods for Structured Corecursive Programs

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)

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

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

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

Structured programming in Java
著者:: Gibbons, J
出版事項: (1998)

Structured Programming in Java
著者:: Gibbons, J
出版事項: (1998)

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)

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)

Transition to higher mathematics : structure and proof /
著者:: 222490 Dumas, Bob A., 等
出版事項: (2007)

Discrete mathematics : proofs, structures, and applications /
著者:: 534515 Garnier, Rowan, 等
出版事項: (c201)

Fire Proof Design in the Steel Structure
著者:: HONG Fei-fei
出版事項: (2006-01-01)

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

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

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

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)

Mechanised Hypersafety Proofs about Structured Data
著者:: Gladshtein, Vladimir, 等
出版事項: (2024)

Steel structures: numerical analysis of fire proofing
著者:: Artem A. Bunov, 等
出版事項: (2022-09-01)

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)