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/ |