A lazy non-deterministic functional language.
Clark, Tony (1995) A lazy non-deterministic functional language. Technical Report. University of Bradford.
Official URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=1...
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 Areas:||Middlesex University Schools and Centres > School of Science and Technology > Computer Science|
Middlesex University Schools and Centres > School of Science and Technology > Computer Science > SensoLab group
Middlesex University Schools and Centres > School of Science and Technology > Computer Science > Intelligent Environments group
|Deposited On:||29 Jun 2010 07:31|
|Last Modified:||10 Dec 2014 20:25|
Repository staff only: item control page
Full text downloads (NB count will be zero if no full text documents are attached to the record)
Downloads per month over the past year