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

Detaylı Bibliyografya
Asıl Yazarlar:	Gibbons, J, Hutton, G
Materyal Türü:	Conference item
Baskı/Yayın Bilgisi:	1999

Benzer Materyaller

Proof methods for corecursive programs
Yazar:: Gibbons, J, ve diğerleri
Baskı/Yayın Bilgisi: (2005)

Proof Methods for Corecursive Programs
Yazar:: Gibbons, J, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Corecursive Algebras, Corecursive Monads and Bloom Monads
Yazar:: Jiří Adámek, ve diğerleri
Baskı/Yayın Bilgisi: (2014-09-01)

Proof of a Structured Program: ‘The Sieve of Eratosthenes'
Yazar:: Hoare, C
Baskı/Yayın Bilgisi: (1972)

Program Correctness Proofs
Yazar:: Hoare, C
Baskı/Yayın Bilgisi: (1975)

Generic Programs and Proofs
Yazar:: Hinze, R
Baskı/Yayın Bilgisi: (2000)

Induction in Proofs about Programs
Yazar:: Greif, Irene Gloria
Baskı/Yayın Bilgisi: (2023)

Proof of a Program: FIND
Yazar:: Hoare, C
Baskı/Yayın Bilgisi: (1971)

Structured programming in Java
Yazar:: Gibbons, J
Baskı/Yayın Bilgisi: (1998)

Structured Programming in Java
Yazar:: Gibbons, J
Baskı/Yayın Bilgisi: (1998)

An Integrated Proof Language for Imperative Programs
Yazar:: Zee, Karen, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

Proof of a Recursive Program: Quicksort
Yazar:: Foley, M, ve diğerleri
Baskı/Yayın Bilgisi: (1971)

Model and proof generation for heap-manipulating programs
Yazar:: Brain, M, ve diğerleri
Baskı/Yayın Bilgisi: (2014)

Model and Proof Generation for Heap−Manipulating Programs
Yazar:: Brain, M, ve diğerleri
Baskı/Yayın Bilgisi: (2014)

Adapting proofs-as-programs : the curry - howard protocol /
Yazar:: 287020 Poernomo, Iman Hafiz, ve diğerleri
Baskı/Yayın Bilgisi: (2005)

The generic approximation lemma
Yazar:: Hutton, G, ve diğerleri
Baskı/Yayın Bilgisi: (2001)

The Generic Approximation Lemma
Yazar:: Hutton, G, ve diğerleri
Baskı/Yayın Bilgisi: (2001)

Transition to higher mathematics : structure and proof /
Yazar:: 222490 Dumas, Bob A., ve diğerleri
Baskı/Yayın Bilgisi: (2007)

Discrete mathematics : proofs, structures, and applications /
Yazar:: 534515 Garnier, Rowan, ve diğerleri
Baskı/Yayın Bilgisi: (c201)

Fire Proof Design in the Steel Structure
Yazar:: HONG Fei-fei
Baskı/Yayın Bilgisi: (2006-01-01)

Proofs that really count : the art of combinatorial proof /
Yazar:: 238044 Benjamin, Arthur T., ve diğerleri
Baskı/Yayın Bilgisi: (2003)

Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs
Yazar:: Gibbons, J
Baskı/Yayın Bilgisi: (1999)

Proof methods for modal and intuitionistic logics /
Yazar:: Fitting, Melvin, 1942-
Baskı/Yayın Bilgisi: (1983)

Infinite Analysis, Lucky Proof, and Guaranteed Proof in Leibniz
Yazar:: Rodriguez-Pereyra, G, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

When is a Function a Fold or an Unfold?
Yazar:: Gibbons, J, ve diğerleri
Baskı/Yayın Bilgisi: (2001)

When is a function a fold or an unfold?
Yazar:: Gibbons, J, ve diğerleri
Baskı/Yayın Bilgisi: (2001)

Proofs with Graphs
Yazar:: Curtis, S, ve diğerleri
Baskı/Yayın Bilgisi: (1996)

Proof constructions and evaluations
Yazar:: Stylianides, G, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

Mechanised Hypersafety Proofs about Structured Data
Yazar:: Gladshtein, Vladimir, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

Steel structures: numerical analysis of fire proofing
Yazar:: Artem A. Bunov, ve diğerleri
Baskı/Yayın Bilgisi: (2022-09-01)

Dealing with proofs
Yazar:: Ng, K.H., ve diğerleri
Baskı/Yayın Bilgisi: (2009)

Proof /
Yazar:: Plumpton, C. (Charles), ve diğerleri
Baskı/Yayın Bilgisi: (1984)

Proof /
Yazar:: Architectural League of New York
Baskı/Yayın Bilgisi: (2008)

Living proof /
Yazar:: 459964 Thompson, Peter J.
Baskı/Yayın Bilgisi: (2003)

Bullet proof
Yazar:: Binner, J, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

Extracting proofs from tabled proof search
Yazar:: Miller, Dale., ve diğerleri
Baskı/Yayın Bilgisi: (2013)

Programming in haskell /
Yazar:: 266356 Hutton, Graham
Baskı/Yayın Bilgisi: (2007)

GGH15 Beyond Permutation Branching Programs: Proofs, Attacks, and Candidates
Yazar:: Chen, Yilei, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

EVALUATION OF THE CRISIS-PROOF PROGRAMS’ DEVELOPMENT IN RUSSIAN FEDERATION SINCE 2009
Yazar:: A. A. Prokhorova
Baskı/Yayın Bilgisi: (2016-10-01)

Proof constructions and evaluations
Yazar:: Stylianides, A, ve diğerleri
Baskı/Yayın Bilgisi: (2009)