Datatype-generic termination proofs

QR Code

Datatype-generic termination proofs

Datatype-generic programs are programs that are parameterised by a datatype. We review the allegorical foundations of a methodology of designing datatype-generic programs. The notion of F-reductivity, where F parametrises a datatype, is reviewed and a number of its properties are presented. The prop...

Full description

Bibliographic Details
Main Authors:	Backhouse, Roland, Doornbos, Henk
Format:	Article
Published:	Springer 2008
Online Access:	https://eprints.nottingham.ac.uk/1858/

Similar Items

Flaws in generic watermarking protocols based on zero-knowledge proofs
by: Phan, , RCW, et al.
Published: (2005)

First-past-the-post games
by: Backhouse, Roland
Published: (2012)

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)

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

Proof Methods for Corecursive Programs
by: Hutton, Graham, et al.
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)

Proof methods for structured corecursive programs
by: Gibbons, Jeremy, et al.
Published: (1999)

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)

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

On Euclid’s algorithm and elementary number theory
by: Backhouse, Roland, et al.
Published: (2011)

The capacity-C torch problem
by: Backhouse, Roland, et al.
Published: (2015)

Streamline vs generic: perception on the implication of generic curriculum on foundation Law programme
by: Azizan, Puteri Amelia Nurhananie, et al.
Published: (2014)

Generic skills: evaluating the level of generic skills development in the Curtin undergraduate curriculum
by: Briguglio, Carmela
Published: (2000)

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

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

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

'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)

Generic Skills : What and Why?
by: Abu, Mohd. Salleh
Published: (2008)

Are Generic Anti-infectives Effective?
by: Paraidathathu, Thomas
Published: (2012)

Biophilia terminal: a low energy and high performance terminal
by: Mohd Tahir, Osman, et al.
Published: (2016)

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

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

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)

Termination of architect's engagement
by: Zolkafli @ Zulkifli, Umi Kalsum
Published: (2008)

Nitrogen Terminated Diamond
by: Stacey, A., et al.
Published: (2015)

Generic active appearance models revisited
by: Tzimiropoulos, Georgios, et al.
Published: (2013)

Consumer Attitudes towards Generic Brands
by: Liang, Johan
Published: (2014)