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

Fuld beskrivelse

Bibliografiske detaljer
Main Authors:	Gibbons, J, Hutton, G
Format:	Conference item
Udgivet:	1999

Lignende værker

Proof methods for corecursive programs
af: Gibbons, J, et al.
Udgivet: (2005)

Proof Methods for Corecursive Programs
af: Gibbons, J, et al.
Udgivet: (2015)

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

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

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

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

Program Correctness Proofs
af: Hoare, C
Udgivet: (1975)

Generic Programs and Proofs
af: Hinze, R
Udgivet: (2000)

Structured programming in Java
af: Gibbons, J
Udgivet: (1998)

Structured Programming in Java
af: Gibbons, J
Udgivet: (1998)

Induction in Proofs about Programs
af: Greif, Irene Gloria
Udgivet: (2023)

Proof of a Program: FIND
af: Hoare, C
Udgivet: (1971)

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

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

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

The generic approximation lemma
af: Hutton, G, et al.
Udgivet: (2001)

The Generic Approximation Lemma
af: Hutton, G, et al.
Udgivet: (2001)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Proofs with Graphs
af: Curtis, S, et al.
Udgivet: (1996)

Proof constructions and evaluations
af: Stylianides, G, et al.
Udgivet: (2009)

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

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

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

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

Programming in haskell /
af: 266356 Hutton, Graham
Udgivet: (2007)

Dealing with proofs
af: Ng, K.H., et al.
Udgivet: (2009)

Origami Programming
af: Gibbons, J
Udgivet: (2003)