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

Полное описание

Библиографические подробности
Главные авторы:	Gibbons, J, Hutton, G
Формат:	Conference item
Опубликовано:	1999

Схожие документы

Proof methods for corecursive programs
по: Gibbons, J, и др.
Опубликовано: (2005)

Proof Methods for Corecursive Programs
по: Gibbons, J, и др.
Опубликовано: (2015)

Corecursive Algebras, Corecursive Monads and Bloom Monads
по: Jiří Adámek, и др.
Опубликовано: (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, и др.
Опубликовано: (2010)

Proof of a Recursive Program: Quicksort
по: Foley, M, и др.
Опубликовано: (1971)

Model and proof generation for heap-manipulating programs
по: Brain, M, и др.
Опубликовано: (2014)

Model and Proof Generation for Heap−Manipulating Programs
по: Brain, M, и др.
Опубликовано: (2014)

Adapting proofs-as-programs : the curry - howard protocol /
по: 287020 Poernomo, Iman Hafiz, и др.
Опубликовано: (2005)

The generic approximation lemma
по: Hutton, G, и др.
Опубликовано: (2001)

The Generic Approximation Lemma
по: Hutton, G, и др.
Опубликовано: (2001)

Transition to higher mathematics : structure and proof /
по: 222490 Dumas, Bob A., и др.
Опубликовано: (2007)

Discrete mathematics : proofs, structures, and applications /
по: 534515 Garnier, Rowan, и др.
Опубликовано: (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., и др.
Опубликовано: (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, и др.
Опубликовано: (2011)

When is a Function a Fold or an Unfold?
по: Gibbons, J, и др.
Опубликовано: (2001)

When is a function a fold or an unfold?
по: Gibbons, J, и др.
Опубликовано: (2001)

Proofs with Graphs
по: Curtis, S, и др.
Опубликовано: (1996)

Proof constructions and evaluations
по: Stylianides, G, и др.
Опубликовано: (2009)

Mechanised Hypersafety Proofs about Structured Data
по: Gladshtein, Vladimir, и др.
Опубликовано: (2024)

Steel structures: numerical analysis of fire proofing
по: Artem A. Bunov, и др.
Опубликовано: (2022-09-01)

Dealing with proofs
по: Ng, K.H., и др.
Опубликовано: (2009)

Proof /
по: Plumpton, C. (Charles), и др.
Опубликовано: (1984)

Proof /
по: Architectural League of New York
Опубликовано: (2008)

Living proof /
по: 459964 Thompson, Peter J.
Опубликовано: (2003)

Bullet proof
по: Binner, J, и др.
Опубликовано: (2013)

Extracting proofs from tabled proof search
по: Miller, Dale., и др.
Опубликовано: (2013)

Programming in haskell /
по: 266356 Hutton, Graham
Опубликовано: (2007)

GGH15 Beyond Permutation Branching Programs: Proofs, Attacks, and Candidates
по: Chen, Yilei, и др.
Опубликовано: (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, и др.
Опубликовано: (2009)