The Generic Approximation Lemma

QR Code

The Generic Approximation Lemma

The approximation lemma is a simplification of the well-known take lemma, and is used to prove properties of programs that produce lists of values. We show how the approximation lemma, unlike the take lemma, can naturally be generalised from lists to a large class of datatypes, and present a generi...

Full description

Bibliographic Details
Main Authors:	Hutton, Graham, Gibbons, Jeremy
Format:	Article
Published:	Elsevier Science 2001
Online Access:	https://eprints.nottingham.ac.uk/225/

Similar Items

A new approach to the periodicity lemma on strings with holes
by: Smyth, Bill, et al.
Published: (2009)

Solvability conditions for the positive real lemma equations in the discrete time
by: Ferrante, A., et al.
Published: (2017)

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

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

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

Jack's lemma for certain subclasses of analytic functions defined by a new fractional linear operator
by: Abdulnaby, Zainab Esa, et al.
Published: (2016)

"A bag, a beret and a book of poems" : a verse novel & an exploration of generic hybridity : and exegesis
by: Gibbons, Maureen
Published: (2012)

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)

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

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

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

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

The Countdown Problem
by: Hutton, Graham
Published: (2002)

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

The Ruby Interpreter
by: Hutton, Graham
Published: (1993)

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

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

Review of Mike Gordon and Tom Melham (editors), An Introduction to HOL, a Theorem Proving Environment for Higher Order Logic
by: Hutton, Graham
Published: (1994)

Report on BCTCS 2005
by: Hutton, Graham
Published: (2005)

Higher-Order Functions for Parsing
by: Hutton, Graham
Published: (1992)

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

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

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

Generic Skills of Malaysian University Students
by: Md. Yunus, Aida Suraya, et al.
Published: (2005)

Generic skills of Malaysian university students.
by: Shuib, Munir
Published: (2005)

Generic Taxonomy of Social Engineering Attack
by: Mohd Foozy, F, et al.
Published: (2011)

On The Theory Of Diophantine Approximations.
by: Haili, Hailiza Kamarul, et al.
Published: (2005)

CUSTOMER VALUE CREATION IN THE GENERICS PHARMACEUTICAL MARKET
by: Santos, Roberta
Published: (2010)

Generic skills from qur'anic perspective
by: Siddig Ahmad,
Published: (2012)

Australian universities, generic skills and lifelong learning
by: Pitman, Tim, et al.
Published: (2009)

Patented and Generic Pharmaceutical Drugs: Perception and Prescription
by: Ernest Cyril, de Run, et al.
Published: (2006)

Generic analysis of bakery service encounters in Malaysia
by: Yih-Long, Lau, et al.
Published: (2016)

Learning environment and the development of student's generic skills
by: Rahman, Saemah, et al.
Published: (2011)

Automatic generic process migration system in linux
by: Zarrabi, Amirreza
Published: (2012)

Crowd behavior classification based on generic descriptors
by: Wong, Pei Voon, et al.
Published: (2019)

QALBU, FUNCTIONAL AND GENERIC: REQUIREMENTS FOR THE APEX STUDENTS
by: MPRC, Pusat Media & Perhubungan Awam
Published: (2015)

Meeting the market demand of generic skills: an analysis of generic skills acquisition among final year engineering students of KUiTTHO
by: Thayabarasilan, Sharma
Published: (2001)

Norm approximation for imperfect monitors
by: Alechina, Natasha, et al.
Published: (2014)

Linear approximation of bilinear Processes
by: Ai Hui , Tan
Published: (2005)