The Countdown Problem

QR Code

The Countdown Problem

We systematically develop a functional program that solves the countdown problem, a numbers game in which the aim is to construct arithmetic expressions satisfying certain constraints. Starting from a formal specification of the problem, we present a simple but inefficient program that solves the p...

Full description

Bibliographic Details
Main Author:	Hutton, Graham
Format:	Article
Published:	Cambridge University Press 2002
Online Access:	https://eprints.nottingham.ac.uk/226/

Similar Items

The final countdown
by: New Sunday Times,
Published: (2013)

Countdown to True Wireless Broadband
by: Imran Edzereiq, Kamarudin
Published: (2011)

Kajian Keberkesanan Sistem Lampu Isyarat ‘’Countdown’’
by: Mohd. Yusoff, Mohd. Firdaus
Published: (2006)

Countdown to the 4th International Conference on Language Learning and Teaching 2024 (ICOLLT)
by: Ruhil Amal, Azmuddin, et al.
Published: (2024)

Malawi and Millennium Development Goal 4: A Countdown to 2015 country case study
by: Kanyuka, M., et al.
Published: (2016)

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

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)

Worker/wrapper/makes it/faster
by: Hackett, Jennifer, et al.
Published: (2014)

Work it, wrap it, fix it, fold it
by: Sculthorpe, Neil, et al.
Published: (2014)

Towards modular compilers for effects
by: Day, Laurence, et al.
Published: (2012)

Compiling concurrency correctly: cutting out the middle man
by: Hu, Liyang, et al.
Published: (2010)

Compact fusion
by: Hope, Catherine, et al.
Published: (2006)

Calculating an exceptional machine
by: Hutton, Graham, et al.
Published: (2006)

Bananas in space: extending fold and unfold to exponential types
by: Meijer, Erik, et al.
Published: (1995)

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

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

Compiling Exceptions Correctly
by: Hutton, Graham, et al.
Published: (2004)

Categories, Allegories, and Circuit Design
by: Brown, Carolyn, et al.
Published: (1994)

Calculating an Exceptional Machine
by: Hutton, Graham, et al.
Published: (2005)

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

Monadic parser combinators
by: Hutton, Graham, et al.
Published: (1996)

Making Functionality More General
by: Hutton, Graham, et al.
Published: (1992)

A Calculational Theory of Pers as Types
by: Hutton, Graham, et al.
Published: (1992)

Accurate Step Counting
by: Hope, Catherine, et al.
Published: (2005)

Back to Basics: Deriving Representation Changers Functionally
by: Hutton, Graham, et al.
Published: (1996)

Monadic parsing in Haskell
by: Hutton, Graham, et al.
Published: (1998)

Towards a theory of reach
by: Fowler, Jonathan, et al.
Published: (2016)

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

Calculating correct compilers
by: Bahr, Patrick, et al.
Published: (2015)

Cutting out continuations
by: Hutton, Graham, et al.
Published: (2016)

Failing faster: overlapping patterns for property-based testing
by: Fowler, Jonathan, et al.
Published: (2016)

Parametric polymorphism and operational improvement
by: Hackett, Jennifer, et al.
Published: (2018)

Compiling a 50-year journey
by: Hutton, Graham, et al.
Published: (2017)