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

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awduron:	Gibbons, J, Hutton, G
Fformat:	Conference item
Cyhoeddwyd:	1999

Eitemau Tebyg

Proof methods for corecursive programs
gan: Gibbons, J, et al.
Cyhoeddwyd: (2005)

Proof Methods for Corecursive Programs
gan: Gibbons, J, et al.
Cyhoeddwyd: (2015)

Corecursive Algebras, Corecursive Monads and Bloom Monads
gan: Jiří Adámek, et al.
Cyhoeddwyd: (2014-09-01)

Structured general corecursion and coinductive graphs [extended abstract]
gan: Tarmo Uustalu
Cyhoeddwyd: (2012-02-01)

Categorical Semantics for Functional Reactive Programming with Temporal Recursion and Corecursion
gan: Wolfgang Jeltsch
Cyhoeddwyd: (2014-06-01)

Proof of a Structured Program: ‘The Sieve of Eratosthenes'
gan: Hoare, C
Cyhoeddwyd: (1972)

Program Correctness Proofs
gan: Hoare, C
Cyhoeddwyd: (1975)

Generic Programs and Proofs
gan: Hinze, R
Cyhoeddwyd: (2000)

Structured programming in Java
gan: Gibbons, J
Cyhoeddwyd: (1998)

Structured Programming in Java
gan: Gibbons, J
Cyhoeddwyd: (1998)

Induction in Proofs about Programs
gan: Greif, Irene Gloria
Cyhoeddwyd: (2023)

Proof of a Program: FIND
gan: Hoare, C
Cyhoeddwyd: (1971)

Classical Proofs as Parallel Programs
gan: Federico Aschieri, et al.
Cyhoeddwyd: (2018-09-01)

An Integrated Proof Language for Imperative Programs
gan: Zee, Karen, et al.
Cyhoeddwyd: (2010)

Proof of a Recursive Program: Quicksort
gan: Foley, M, et al.
Cyhoeddwyd: (1971)

The generic approximation lemma
gan: Hutton, G, et al.
Cyhoeddwyd: (2001)

The Generic Approximation Lemma
gan: Hutton, G, et al.
Cyhoeddwyd: (2001)

Model and proof generation for heap-manipulating programs
gan: Brain, M, et al.
Cyhoeddwyd: (2014)

Model and Proof Generation for Heap−Manipulating Programs
gan: Brain, M, et al.
Cyhoeddwyd: (2014)

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

On automating the extraction of programs from termination proofs
gan: Fairouz Kamareddine, et al.
Cyhoeddwyd: (2003-12-01)

Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs
gan: Gibbons, J
Cyhoeddwyd: (1999)

When is a Function a Fold or an Unfold?
gan: Gibbons, J, et al.
Cyhoeddwyd: (2001)

When is a function a fold or an unfold?
gan: Gibbons, J, et al.
Cyhoeddwyd: (2001)

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

Discrete mathematics : proofs, structures, and applications /
gan: 534515 Garnier, Rowan, et al.
Cyhoeddwyd: (c201)

Fire Proof Design in the Steel Structure
gan: HONG Fei-fei
Cyhoeddwyd: (2006-01-01)

Proof methods for modal and intuitionistic logics /
gan: Fitting, Melvin, 1942-
Cyhoeddwyd: (1983)

Proofs that really count : the art of combinatorial proof /
gan: 238044 Benjamin, Arthur T., et al.
Cyhoeddwyd: (2003)

Constraint Logic Programming over Infinite Domains with an Application to Proof
gan: Sebastian Krings, et al.
Cyhoeddwyd: (2017-01-01)

Infinite Analysis, Lucky Proof, and Guaranteed Proof in Leibniz
gan: Rodriguez-Pereyra, G, et al.
Cyhoeddwyd: (2011)

Proofs with Graphs
gan: Curtis, S, et al.
Cyhoeddwyd: (1996)

Proof constructions and evaluations
gan: Stylianides, G, et al.
Cyhoeddwyd: (2009)

Mechanised Hypersafety Proofs about Structured Data
gan: Gladshtein, Vladimir, et al.
Cyhoeddwyd: (2024)

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

Gadget structures in proofs of the Kochen-Specker theorem
gan: Ravishankar Ramanathan, et al.
Cyhoeddwyd: (2020-08-01)

Advanced Proof Viewing in ProofTool
gan: Tomer Libal, et al.
Cyhoeddwyd: (2014-10-01)

Programming in haskell /
gan: 266356 Hutton, Graham
Cyhoeddwyd: (2007)

Dealing with proofs
gan: Ng, K.H., et al.
Cyhoeddwyd: (2009)

Origami Programming
gan: Gibbons, J
Cyhoeddwyd: (2003)