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

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Gibbons, J, Hutton, G
Formáid:	Conference item
Foilsithe / Cruthaithe:	1999

Míreanna comhchosúla

Proof methods for corecursive programs
de réir: Gibbons, J, et al.
Foilsithe / Cruthaithe: (2005)

Proof Methods for Corecursive Programs
de réir: Gibbons, J, et al.
Foilsithe / Cruthaithe: (2015)

Corecursive Algebras, Corecursive Monads and Bloom Monads
de réir: Jiří Adámek, et al.
Foilsithe / Cruthaithe: (2014-09-01)

Proof of a Structured Program: ‘The Sieve of Eratosthenes'
de réir: Hoare, C
Foilsithe / Cruthaithe: (1972)

Program Correctness Proofs
de réir: Hoare, C
Foilsithe / Cruthaithe: (1975)

Generic Programs and Proofs
de réir: Hinze, R
Foilsithe / Cruthaithe: (2000)

Induction in Proofs about Programs
de réir: Greif, Irene Gloria
Foilsithe / Cruthaithe: (2023)

Proof of a Program: FIND
de réir: Hoare, C
Foilsithe / Cruthaithe: (1971)

Structured programming in Java
de réir: Gibbons, J
Foilsithe / Cruthaithe: (1998)

Structured Programming in Java
de réir: Gibbons, J
Foilsithe / Cruthaithe: (1998)

An Integrated Proof Language for Imperative Programs
de réir: Zee, Karen, et al.
Foilsithe / Cruthaithe: (2010)

Proof of a Recursive Program: Quicksort
de réir: Foley, M, et al.
Foilsithe / Cruthaithe: (1971)

Model and proof generation for heap-manipulating programs
de réir: Brain, M, et al.
Foilsithe / Cruthaithe: (2014)

Model and Proof Generation for Heap−Manipulating Programs
de réir: Brain, M, et al.
Foilsithe / Cruthaithe: (2014)

Adapting proofs-as-programs : the curry - howard protocol /
de réir: 287020 Poernomo, Iman Hafiz, et al.
Foilsithe / Cruthaithe: (2005)

The generic approximation lemma
de réir: Hutton, G, et al.
Foilsithe / Cruthaithe: (2001)

The Generic Approximation Lemma
de réir: Hutton, G, et al.
Foilsithe / Cruthaithe: (2001)

Transition to higher mathematics : structure and proof /
de réir: 222490 Dumas, Bob A., et al.
Foilsithe / Cruthaithe: (2007)

Discrete mathematics : proofs, structures, and applications /
de réir: 534515 Garnier, Rowan, et al.
Foilsithe / Cruthaithe: (c201)

Fire Proof Design in the Steel Structure
de réir: HONG Fei-fei
Foilsithe / Cruthaithe: (2006-01-01)

Proofs that really count : the art of combinatorial proof /
de réir: 238044 Benjamin, Arthur T., et al.
Foilsithe / Cruthaithe: (2003)

Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs
de réir: Gibbons, J
Foilsithe / Cruthaithe: (1999)

Proof methods for modal and intuitionistic logics /
de réir: Fitting, Melvin, 1942-
Foilsithe / Cruthaithe: (1983)

Infinite Analysis, Lucky Proof, and Guaranteed Proof in Leibniz
de réir: Rodriguez-Pereyra, G, et al.
Foilsithe / Cruthaithe: (2011)

When is a Function a Fold or an Unfold?
de réir: Gibbons, J, et al.
Foilsithe / Cruthaithe: (2001)

When is a function a fold or an unfold?
de réir: Gibbons, J, et al.
Foilsithe / Cruthaithe: (2001)

Proofs with Graphs
de réir: Curtis, S, et al.
Foilsithe / Cruthaithe: (1996)

Proof constructions and evaluations
de réir: Stylianides, G, et al.
Foilsithe / Cruthaithe: (2009)

Mechanised Hypersafety Proofs about Structured Data
de réir: Gladshtein, Vladimir, et al.
Foilsithe / Cruthaithe: (2024)

Steel structures: numerical analysis of fire proofing
de réir: Artem A. Bunov, et al.
Foilsithe / Cruthaithe: (2022-09-01)

Dealing with proofs
de réir: Ng, K.H., et al.
Foilsithe / Cruthaithe: (2009)

Proof /
de réir: Plumpton, C. (Charles), et al.
Foilsithe / Cruthaithe: (1984)

Proof /
de réir: Architectural League of New York
Foilsithe / Cruthaithe: (2008)

Living proof /
de réir: 459964 Thompson, Peter J.
Foilsithe / Cruthaithe: (2003)

Bullet proof
de réir: Binner, J, et al.
Foilsithe / Cruthaithe: (2013)

Extracting proofs from tabled proof search
de réir: Miller, Dale., et al.
Foilsithe / Cruthaithe: (2013)

Programming in haskell /
de réir: 266356 Hutton, Graham
Foilsithe / Cruthaithe: (2007)

GGH15 Beyond Permutation Branching Programs: Proofs, Attacks, and Candidates
de réir: Chen, Yilei, et al.
Foilsithe / Cruthaithe: (2021)

EVALUATION OF THE CRISIS-PROOF PROGRAMS’ DEVELOPMENT IN RUSSIAN FEDERATION SINCE 2009
de réir: A. A. Prokhorova
Foilsithe / Cruthaithe: (2016-10-01)

Proof constructions and evaluations
de réir: Stylianides, A, et al.
Foilsithe / Cruthaithe: (2009)