Professor GRAHAM HUTTON GRAHAM.HUTTON@NOTTINGHAM.AC.UK
Professor of Computer Science
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 | Mar 28, 2024 |
Journal | Journal of Functional Programming |
Print ISSN | 0956-7968 |
Publisher | Cambridge University Press |
Peer Reviewed | Peer Reviewed |
Volume | 12 |
Issue | 6 |
Public URL | https://nottingham-repository.worktribe.com/output/1022538 |
Files
countdown.pdf
(108 Kb)
PDF
You might also like
Monadic compiler calculation (functional pearl)
(2022)
Journal Article
Calculating dependently-typed compilers (functional pearl)
(2021)
Journal Article
Calculating correct compilers II: Return of the register machines
(2020)
Journal Article
Liquidate your assets: reasoning about resource usage in liquid Haskell
(2019)
Journal Article
Call-by-need is clairvoyant call-by-value
(2019)
Journal Article
Downloadable Citations
About Repository@Nottingham
Administrator e-mail: digital-library-support@nottingham.ac.uk
This application uses the following open-source libraries:
SheetJS Community Edition
Apache License Version 2.0 (http://www.apache.org/licenses/)
PDF.js
Apache License Version 2.0 (http://www.apache.org/licenses/)
Font Awesome
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2024
Advanced Search