The countdown problem

Authors:
Graham Hutton
Affiliations:
School of Computer Science and IT, University of Nottingham, Nottingham, UK
Venue:
Journal of Functional Programming
Year:
2002

Citing 2
Cited 3

A functional theory of exceptions

Science of Computer Programming
An introduction to functional programming

An introduction to functional programming

Functional Pearl trouble shared is trouble halved

Haskell '03 Proceedings of the 2003 ACM SIGPLAN workshop on Haskell
Countdown: A case study in origami programming

Journal of Functional Programming
Smallcheck and lazy smallcheck: automatic exhaustive testing for small values

Proceedings of the first ACM SIGPLAN symposium on Haskell

Quantified Score

Hi-index	0.01

Visualization

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.