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...
| Main Author: | |
|---|---|
| Format: | Article |
| Published: |
Cambridge University Press
2002
|
| Online Access: | https://eprints.nottingham.ac.uk/226/ |
| _version_ | 1848790374380732416 |
|---|---|
| author | Hutton, Graham |
| author_facet | Hutton, Graham |
| author_sort | Hutton, Graham |
| building | Nottingham Research Data Repository |
| collection | Online Access |
| description | 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. |
| first_indexed | 2025-11-14T18:11:36Z |
| format | Article |
| id | nottingham-226 |
| institution | University of Nottingham Malaysia Campus |
| institution_category | Local University |
| last_indexed | 2025-11-14T18:11:36Z |
| publishDate | 2002 |
| publisher | Cambridge University Press |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | nottingham-2262020-05-04T20:32:09Z https://eprints.nottingham.ac.uk/226/ The Countdown Problem Hutton, Graham 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. Cambridge University Press 2002-11 Article PeerReviewed Hutton, Graham (2002) The Countdown Problem. Journal of Functional Programming, 12 (6). pp. 609-616. |
| spellingShingle | Hutton, Graham The Countdown Problem |
| title | The Countdown Problem |
| title_full | The Countdown Problem |
| title_fullStr | The Countdown Problem |
| title_full_unstemmed | The Countdown Problem |
| title_short | The Countdown Problem |
| title_sort | countdown problem |
| url | https://eprints.nottingham.ac.uk/226/ |