Skip to main content

Research Repository

Advanced Search

The Countdown Problem

Hutton, Graham

Authors



Abstract

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 problem, and prove that this program is correct. We then use program fusion to calculate an equivalent but more efficient program, which is then further improved by exploiting arithmetic properties.

Citation

Hutton, G. (2002). The Countdown Problem. Journal of Functional Programming, 12(6),

Journal Article Type Article
Publication Date Nov 1, 2002
Deposit Date Oct 26, 2005
Publicly Available Date Oct 9, 2007
Journal Journal of Functional Programming
Print ISSN 0956-7968
Publisher Cambridge University Press (CUP)
Peer Reviewed Peer Reviewed
Volume 12
Issue 6
Public URL http://eprints.nottingham.ac.uk/id/eprint/226
Copyright Statement Copyright information regarding this work can be found at the following address: http://eprints.nottingham.ac.uk/end_user_agreement.pdf

Files


countdown.pdf (108 Kb)
PDF

Copyright Statement
Copyright information regarding this work can be found at the following address: http://eprints.nottingham.ac.uk/end_user_agreement.pdf





You might also like



Downloadable Citations