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

書目詳細資料
Main Authors:	Gibbons, J, Hutton, G
格式:	Conference item
出版:	1999

相似書籍

Proof methods for corecursive programs
由: Gibbons, J, et al.
出版: (2005)

Proof Methods for Corecursive Programs
由: Gibbons, J, et al.
出版: (2015)

Corecursive Algebras, Corecursive Monads and Bloom Monads
由: Jiří Adámek, et al.
出版: (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, et al.
出版: (2010)

Proof of a Recursive Program: Quicksort
由: Foley, M, et al.
出版: (1971)

Model and proof generation for heap-manipulating programs
由: Brain, M, et al.
出版: (2014)

Model and Proof Generation for Heap−Manipulating Programs
由: Brain, M, et al.
出版: (2014)

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

The generic approximation lemma
由: Hutton, G, et al.
出版: (2001)

The Generic Approximation Lemma
由: Hutton, G, et al.
出版: (2001)

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

Discrete mathematics : proofs, structures, and applications /
由: 534515 Garnier, Rowan, et al.
出版: (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., et al.
出版: (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, et al.
出版: (2011)

When is a Function a Fold or an Unfold?
由: Gibbons, J, et al.
出版: (2001)

When is a function a fold or an unfold?
由: Gibbons, J, et al.
出版: (2001)

Proofs with Graphs
由: Curtis, S, et al.
出版: (1996)

Proof constructions and evaluations
由: Stylianides, G, et al.
出版: (2009)

Mechanised Hypersafety Proofs about Structured Data
由: Gladshtein, Vladimir, et al.
出版: (2024)

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

Dealing with proofs
由: Ng, K.H., et al.
出版: (2009)

Proof /
由: Plumpton, C. (Charles), et al.
出版: (1984)

Proof /
由: Architectural League of New York
出版: (2008)

Living proof /
由: 459964 Thompson, Peter J.
出版: (2003)

Bullet proof
由: Binner, J, et al.
出版: (2013)

Extracting proofs from tabled proof search
由: Miller, Dale., et al.
出版: (2013)

Programming in haskell /
由: 266356 Hutton, Graham
出版: (2007)

GGH15 Beyond Permutation Branching Programs: Proofs, Attacks, and Candidates
由: Chen, Yilei, et al.
出版: (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, et al.
出版: (2009)