Proof Methods for Corecursive Programs

Proof Methods for Corecursive Programs

अन्य संस्करण दिखाएं (1)

Recursion is a well-known and powerful programming technique, with a wide variety of applications. The dual technique of corecursion is less well-known, but is increasingly proving to be just as useful. This article is a tutorial on four methods for proving properties of corecursive programs: fixpoi...

पूर्ण विवरण

ग्रंथसूची विवरण
मुख्य लेखकों:	Gibbons, J, Hutton, G
स्वरूप:	Journal article
प्रकाशित:	2015

समान संसाधन

Proof methods for corecursive programs
द्वारा: Gibbons, J, और अन्य
प्रकाशित: (2005)

Proof Methods for Structured Corecursive Programs
द्वारा: Gibbons, J, और अन्य
प्रकाशित: (1999)

Corecursive Algebras, Corecursive Monads and Bloom Monads
द्वारा: Jiří Adámek, और अन्य
प्रकाशित: (2014-09-01)

Categorical Semantics for Functional Reactive Programming with Temporal Recursion and Corecursion
द्वारा: Wolfgang Jeltsch
प्रकाशित: (2014-06-01)

Structured general corecursion and coinductive graphs [extended abstract]
द्वारा: Tarmo Uustalu
प्रकाशित: (2012-02-01)

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)

Classical Proofs as Parallel Programs
द्वारा: Federico Aschieri, और अन्य
प्रकाशित: (2018-09-01)

An Integrated Proof Language for Imperative Programs
द्वारा: Zee, Karen, और अन्य
प्रकाशित: (2010)

Proof of a Recursive Program: Quicksort
द्वारा: Foley, M, और अन्य
प्रकाशित: (1971)

The generic approximation lemma
द्वारा: Hutton, G, और अन्य
प्रकाशित: (2001)

The Generic Approximation Lemma
द्वारा: Hutton, G, और अन्य
प्रकाशित: (2001)

Model and proof generation for heap-manipulating programs
द्वारा: Brain, M, और अन्य
प्रकाशित: (2014)

Proof of a Structured Program: ‘The Sieve of Eratosthenes'
द्वारा: Hoare, C
प्रकाशित: (1972)

Model and Proof Generation for Heap−Manipulating Programs
द्वारा: Brain, M, और अन्य
प्रकाशित: (2014)

Adapting proofs-as-programs : the curry - howard protocol /
द्वारा: 287020 Poernomo, Iman Hafiz, और अन्य
प्रकाशित: (2005)

On automating the extraction of programs from termination proofs
द्वारा: Fairouz Kamareddine, और अन्य
प्रकाशित: (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, और अन्य
प्रकाशित: (2001)

When is a function a fold or an unfold?
द्वारा: Gibbons, J, और अन्य
प्रकाशित: (2001)

Proof methods for modal and intuitionistic logics /
द्वारा: Fitting, Melvin, 1942-
प्रकाशित: (1983)

Proofs that really count : the art of combinatorial proof /
द्वारा: 238044 Benjamin, Arthur T., और अन्य
प्रकाशित: (2003)

Constraint Logic Programming over Infinite Domains with an Application to Proof
द्वारा: Sebastian Krings, और अन्य
प्रकाशित: (2017-01-01)

Infinite Analysis, Lucky Proof, and Guaranteed Proof in Leibniz
द्वारा: Rodriguez-Pereyra, G, और अन्य
प्रकाशित: (2011)

Proofs with Graphs
द्वारा: Curtis, S, और अन्य
प्रकाशित: (1996)

Proof constructions and evaluations
द्वारा: Stylianides, G, और अन्य
प्रकाशित: (2009)

Advanced Proof Viewing in ProofTool
द्वारा: Tomer Libal, और अन्य
प्रकाशित: (2014-10-01)

Programming in haskell /
द्वारा: 266356 Hutton, Graham
प्रकाशित: (2007)

Dealing with proofs
द्वारा: Ng, K.H., और अन्य
प्रकाशित: (2009)

Origami Programming
द्वारा: Gibbons, J
प्रकाशित: (2003)

Living proof /
द्वारा: 459964 Thompson, Peter J.
प्रकाशित: (2003)

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)

A Formal Proof of Square Root and Division Elimination in Embedded Programs
द्वारा: Pierre Neron
प्रकाशित: (2013-01-01)

Proof /
द्वारा: Plumpton, C. (Charles), और अन्य
प्रकाशित: (1984)

Proof /
द्वारा: Architectural League of New York
प्रकाशित: (2008)

Bullet proof
द्वारा: Binner, J, और अन्य
प्रकाशित: (2013)

Extracting proofs from tabled proof search
द्वारा: Miller, Dale., और अन्य
प्रकाशित: (2013)