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

Mô tả đầy đủ

Chi tiết về thư mục
Những tác giả chính:	Gibbons, J, Hutton, G
Định dạng:	Conference item
Được phát hành:	1999

Những quyển sách tương tự

Proof methods for corecursive programs
Bằng: Gibbons, J, et al.
Được phát hành: (2005)

Proof Methods for Corecursive Programs
Bằng: Gibbons, J, et al.
Được phát hành: (2015)

Corecursive Algebras, Corecursive Monads and Bloom Monads
Bằng: Jiří Adámek, et al.
Được phát hành: (2014-09-01)

Proof of a Structured Program: ‘The Sieve of Eratosthenes'
Bằng: Hoare, C
Được phát hành: (1972)

Program Correctness Proofs
Bằng: Hoare, C
Được phát hành: (1975)

Generic Programs and Proofs
Bằng: Hinze, R
Được phát hành: (2000)

Induction in Proofs about Programs
Bằng: Greif, Irene Gloria
Được phát hành: (2023)

Proof of a Program: FIND
Bằng: Hoare, C
Được phát hành: (1971)

Structured programming in Java
Bằng: Gibbons, J
Được phát hành: (1998)

Structured Programming in Java
Bằng: Gibbons, J
Được phát hành: (1998)

An Integrated Proof Language for Imperative Programs
Bằng: Zee, Karen, et al.
Được phát hành: (2010)

Proof of a Recursive Program: Quicksort
Bằng: Foley, M, et al.
Được phát hành: (1971)

Model and proof generation for heap-manipulating programs
Bằng: Brain, M, et al.
Được phát hành: (2014)

Model and Proof Generation for Heap−Manipulating Programs
Bằng: Brain, M, et al.
Được phát hành: (2014)

Adapting proofs-as-programs : the curry - howard protocol /
Bằng: 287020 Poernomo, Iman Hafiz, et al.
Được phát hành: (2005)

The generic approximation lemma
Bằng: Hutton, G, et al.
Được phát hành: (2001)

The Generic Approximation Lemma
Bằng: Hutton, G, et al.
Được phát hành: (2001)

Transition to higher mathematics : structure and proof /
Bằng: 222490 Dumas, Bob A., et al.
Được phát hành: (2007)

Discrete mathematics : proofs, structures, and applications /
Bằng: 534515 Garnier, Rowan, et al.
Được phát hành: (c201)

Fire Proof Design in the Steel Structure
Bằng: HONG Fei-fei
Được phát hành: (2006-01-01)

Proofs that really count : the art of combinatorial proof /
Bằng: 238044 Benjamin, Arthur T., et al.
Được phát hành: (2003)

Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs
Bằng: Gibbons, J
Được phát hành: (1999)

Proof methods for modal and intuitionistic logics /
Bằng: Fitting, Melvin, 1942-
Được phát hành: (1983)

Infinite Analysis, Lucky Proof, and Guaranteed Proof in Leibniz
Bằng: Rodriguez-Pereyra, G, et al.
Được phát hành: (2011)

When is a Function a Fold or an Unfold?
Bằng: Gibbons, J, et al.
Được phát hành: (2001)

When is a function a fold or an unfold?
Bằng: Gibbons, J, et al.
Được phát hành: (2001)

Proofs with Graphs
Bằng: Curtis, S, et al.
Được phát hành: (1996)

Proof constructions and evaluations
Bằng: Stylianides, G, et al.
Được phát hành: (2009)

Mechanised Hypersafety Proofs about Structured Data
Bằng: Gladshtein, Vladimir, et al.
Được phát hành: (2024)

Steel structures: numerical analysis of fire proofing
Bằng: Artem A. Bunov, et al.
Được phát hành: (2022-09-01)

Dealing with proofs
Bằng: Ng, K.H., et al.
Được phát hành: (2009)

Proof /
Bằng: Plumpton, C. (Charles), et al.
Được phát hành: (1984)

Proof /
Bằng: Architectural League of New York
Được phát hành: (2008)

Living proof /
Bằng: 459964 Thompson, Peter J.
Được phát hành: (2003)

Bullet proof
Bằng: Binner, J, et al.
Được phát hành: (2013)

Extracting proofs from tabled proof search
Bằng: Miller, Dale., et al.
Được phát hành: (2013)

Programming in haskell /
Bằng: 266356 Hutton, Graham
Được phát hành: (2007)

GGH15 Beyond Permutation Branching Programs: Proofs, Attacks, and Candidates
Bằng: Chen, Yilei, et al.
Được phát hành: (2021)

EVALUATION OF THE CRISIS-PROOF PROGRAMS’ DEVELOPMENT IN RUSSIAN FEDERATION SINCE 2009
Bằng: A. A. Prokhorova
Được phát hành: (2016-10-01)

Proof constructions and evaluations
Bằng: Stylianides, A, et al.
Được phát hành: (2009)