A lazy non-deterministic functional language.
Anthony Clark · SHURA (Sheffield Hallam University Research Archive) (Sheffield Hallam University) · 1995
This paper addresses the starting point of the refinement process: the naive program. Although a naive program provides a useful starting point for refinement and is complete with respect to all the possible outcomes it usually exhibits exponential computational complexity which prohibits using the initial naive system as a prototype.