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:||11 Nov 2016 00:49|
Actions (login required)
Downloads per month over past year