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

书目详细资料
Main Authors:	Gibbons, J, Hutton, G
格式:	Conference item
出版:	1999

相似书籍

Proof methods for corecursive programs
由: Gibbons, J, et al.
出版: (2005)

Proof Methods for Corecursive Programs
由: Gibbons, J, et al.
出版: (2015)

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

Structured general corecursion and coinductive graphs [extended abstract]
由: Tarmo Uustalu
出版: (2012-02-01)

Categorical Semantics for Functional Reactive Programming with Temporal Recursion and Corecursion
由: Wolfgang Jeltsch
出版: (2014-06-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)

Structured programming in Java
由: Gibbons, J
出版: (1998)

Structured Programming in Java
由: Gibbons, J
出版: (1998)

Induction in Proofs about Programs
由: Greif, Irene Gloria
出版: (2023)

Proof of a Program: FIND
由: Hoare, C
出版: (1971)

Classical Proofs as Parallel Programs
由: Federico Aschieri, et al.
出版: (2018-09-01)

An Integrated Proof Language for Imperative Programs
由: Zee, Karen, et al.
出版: (2010)

Proof of a Recursive Program: Quicksort
由: Foley, M, et al.
出版: (1971)

The generic approximation lemma
由: Hutton, G, et al.
出版: (2001)

The Generic Approximation Lemma
由: Hutton, G, et al.
出版: (2001)

Model and proof generation for heap-manipulating programs
由: Brain, M, et al.
出版: (2014)

Model and Proof Generation for Heap−Manipulating Programs
由: Brain, M, et al.
出版: (2014)

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

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

Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs
由: Gibbons, J
出版: (1999)

When is a Function a Fold or an Unfold?
由: Gibbons, J, et al.
出版: (2001)

When is a function a fold or an unfold?
由: Gibbons, J, et al.
出版: (2001)

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

Discrete mathematics : proofs, structures, and applications /
由: 534515 Garnier, Rowan, et al.
出版: (c201)

Fire Proof Design in the Steel Structure
由: HONG Fei-fei
出版: (2006-01-01)

Proof methods for modal and intuitionistic logics /
由: Fitting, Melvin, 1942-
出版: (1983)

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

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

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

Proofs with Graphs
由: Curtis, S, et al.
出版: (1996)

Proof constructions and evaluations
由: Stylianides, G, et al.
出版: (2009)

Mechanised Hypersafety Proofs about Structured Data
由: Gladshtein, Vladimir, et al.
出版: (2024)

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

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

Advanced Proof Viewing in ProofTool
由: Tomer Libal, et al.
出版: (2014-10-01)

Programming in haskell /
由: 266356 Hutton, Graham
出版: (2007)

Dealing with proofs
由: Ng, K.H., et al.
出版: (2009)

Origami Programming
由: Gibbons, J
出版: (2003)