CLARK, Anthony (1995). A lazy non-deterministic functional language. Technical Report. University of Bradford. (Unpublished)
|
PDF
10.1.1.5.3084%5B1%5D.pdf All rights reserved. Download (258kB) | Preview |
Abstract
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 - Does NOT include content added after October 2018: | Cultural Communication and Computing Research Institute > Communication and Computing Research Centre |
Departments - Does NOT include content added after October 2018: | Faculty of Science, Technology and Arts > Department of Computing |
Depositing User: | Tony Clark |
Date Deposited: | 12 Apr 2016 11:26 |
Last Modified: | 12 May 2021 19:00 |
URI: | https://shura.shu.ac.uk/id/eprint/11929 |
Actions (login required)
View Item |
Downloads
Downloads per month over past year