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>...

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awduron:	Gibbons, J, Hutton, G
Fformat:	Conference item
Cyhoeddwyd:	1999

Eitemau Tebyg

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

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

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

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

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)

Structured programming in Java
gan: Gibbons, J
Cyhoeddwyd: (1998)

Structured Programming in Java
gan: Gibbons, J
Cyhoeddwyd: (1998)

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)

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)

Transition to higher mathematics : structure and proof /
gan: 222490 Dumas, Bob A., et al.
Cyhoeddwyd: (2007)

Discrete mathematics : proofs, structures, and applications /
gan: 534515 Garnier, Rowan, et al.
Cyhoeddwyd: (c201)

Fire Proof Design in the Steel Structure
gan: HONG Fei-fei
Cyhoeddwyd: (2006-01-01)

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

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

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

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)

Mechanised Hypersafety Proofs about Structured Data
gan: Gladshtein, Vladimir, et al.
Cyhoeddwyd: (2024)

Steel structures: numerical analysis of fire proofing
gan: Artem A. Bunov, et al.
Cyhoeddwyd: (2022-09-01)

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)