A lazy non-deterministic functional language.

CLARK, Anthony (1995). A lazy non-deterministic functional language. Technical Report. University of Bradford. (Unpublished)

Available under License All rights reserved.

Download (258kB) | Preview


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.

Item Type: Monograph (Technical Report)
Research Institute, Centre or Group: Cultural Communication and Computing Research Institute > Communication and Computing Research Centre
Depositing User: Tony Clark
Date Deposited: 12 Apr 2016 11:26
Last Modified: 19 Oct 2016 22:51
URI: http://shura.shu.ac.uk/id/eprint/11929

Actions (login required)

View Item View Item


Downloads per month over past year

View more statistics