Proof methods for structured corecursive programs

QR Code

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 take lemma, and coinduction....

Full description

Bibliographic Details
Main Authors:	Gibbons, Jeremy, Hutton, Graham
Format:	Conference or Workshop Item
Published:	1999
Online Access:	https://eprints.nottingham.ac.uk/236/

Similar Items

Proof Methods for Corecursive Programs
by: Hutton, Graham, et al.
Published: (2005)

The under-performing unfold: a new approach to optimising corecursive programs
by: Hackett, Jennifer, et al.
Published: (2013)

The Generic Approximation Lemma
by: Hutton, Graham, et al.
Published: (2001)

When is a function a fold or an unfold?
by: Gibbons, Jeremy, et al.
Published: (2001)

Functional Programming With Relations
by: Hutton, Graham
Published: (1991)

Fold and Unfold for Program Semantics
by: Hutton, Graham
Published: (1998)

Between functions and relations in calculating programs
by: Hutton, Graham
Published: (1992)

Study on Blast Proof Composite Plate Structures
by: Ahmad Mohamed, Hassan, et al.
Published: (2023)

A Relational Derivation of a Functional Program
by: Hutton, Graham
Published: (1992)

Query proof structure caching for incremental evaluation of tabled prolog programs / Taher Muhammad Ali
by: Taher Muhammad, Ali
Published: (2013)

Programs for cheap!
by: Hackett, Jennifer, et al.
Published: (2015)

Robustness of convergence proofs in numerical methods in unconstrained optimization
by: Goh, B., et al.
Published: (2014)

Interactive proof systems
by: Makarin, Rusydi Hasan, et al.
Published: (2011)

Zero-knowledge-proof
by: Alshaikhli, Imad Fakhri Taha, et al.
Published: (2011)

Error Proofing In Manufacturing.
by: Nadarajah, Sivakumar
Published: (2006)

Error Proofing In Manufacturing
by: Nadarajah, Sivakumar
Published: (2006)

Error Proofing In Manufacturing
by: Nadarajah, Sivakumar
Published: (2006)

Methods of proof and evidentiary requirements in divorce cases: an Islamic perspective
by: Ramlee, Zulfakar, et al.
Published: (2008)

The Use of Proof Planning Critics to Diagnose Errors in the Base Cases of Recursive Programs
by: Dennis, Louise Abigail
Published: (2004)

Datatype-generic termination proofs
by: Backhouse, Roland, et al.
Published: (2008)

An Architecture for Proof Planning Systems
by: Dennis, Louise Abigail
Published: (2005)

Burdens of proof and the case for unevenness
by: Aijaz, Imran, et al.
Published: (2013)

Background of zero-knowledge proof
by: Alshaikhli, Imad Fakhri Taha, et al.
Published: (2011)

No proof vaccine linked to deaths
by: Krishnan, Dhesegaran Bala
Published: (2021)

AutoBench: comparing the time performance of Haskell programs
by: Handley, Martin A.T., et al.
Published: (2018)

Time to future-proof plants in storage
by: Walck, J., et al.
Published: (2009)

Mission ahead: future - proofing education
by: Sani, Rozana
Published: (2020)

Research on vaccine in proof of concept stage
by: New Sarawak Tribune
Published: (2021)

Contractive functions on infinite data structures
by: Capretta, Venanzio, et al.
Published: (2017)

Future-proofing 'Next Generation' infrastructure assets
by: Love, Peter, et al.
Published: (2018)

'Tampa' Proof: Australian Fiction 2002-2003.
by: Genoni, Paul
Published: (2003)

Another proof of wiener's short secret exponent
by: Asbullah, Muhammad Asyraf, et al.
Published: (2019)

The development of proofs in analytical mathematics for undergraduate students
by: Ali, Maselan, et al.
Published: (2018)

Development of blended cements for water proofing application
by: Radin Sumadi, Salihuddin, et al.
Published: (2008)

Temporary waqf and perpetual benefit: a mathematical proof
by: Azrai Azaimi Ambrose, Azniza Hartini, et al.
Published: (2019)

Standard of proof required to prove fraud in civil cases
by: Shair Mohamad, Mohd Akram
Published: (2011)

An error-proof approach for decision making using DEMATEL
by: Islam, A. S. M. Touhidul, et al.
Published: (2019)

Public private partnership to produce future proof talents
by: Lee, Chong Hui
Published: (2020)

Local Covid vaccine research in 'proof of concept' stage
by: The Sun
Published: (2021)

A Tutorial on the Universality and Expressiveness of Fold
by: Hutton, Graham
Published: (1999)