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)

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)

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

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

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

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)

Structured programming in Java
द्वारा: Gibbons, J
प्रकाशित: (1998)

Structured Programming in Java
द्वारा: Gibbons, J
प्रकाशित: (1998)

Transition to higher mathematics : structure and proof /
द्वारा: 222490 Dumas, Bob A., और अन्य
प्रकाशित: (2007)

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

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

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

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

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

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

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

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

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

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

Mechanised Hypersafety Proofs about Structured Data
द्वारा: Gladshtein, Vladimir, और अन्य
प्रकाशित: (2024)

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

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

Elementary set theory : proof techniques proof techniques /
द्वारा: 365632 Gordon, Carl E., और अन्य
प्रकाशित: (1975)

Rational proofs
द्वारा: Azar, Pablo Daniel, और अन्य
प्रकाशित: (2012)

Commenting Proofs
द्वारा: Geiser, James R.
प्रकाशित: (2004)

Burden of proof
द्वारा: du Sautoy, M
प्रकाशित: (2006)

Addicted to Proof
द्वारा: Shor, Peter Williston
प्रकाशित: (2021)

Addicted to Proof
द्वारा: Shor, Peter
प्रकाशित: (2021)

Rational proofs
द्वारा: Azar, Pablo Daniel, और अन्य
प्रकाशित: (2022)

Proofs as Processes
द्वारा: Abramsky, S
प्रकाशित: (1994)

Mill's proof
द्वारा: Mawson, T
प्रकाशित: (2002)

Baby proof /
द्वारा: 401170 Giffin, Emily
प्रकाशित: (2006)

Proofs and types /
द्वारा: 291662 Girard, Jean-Yves, और अन्य
प्रकाशित: (1989)