A lazy non-deterministic functional language.

Clark, Tony (1995) A lazy non-deterministic functional language. Technical Report. University of Bradford.

[img]
Preview
PDF
258kB

Official URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=1...

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 Areas:School of Science and Technology > Computer Science
School of Science and Technology > Computer Science > SensoLab group
School of Science and Technology > Computer Science > Intelligent Environments group
ID Code:6167
Useful Links:
Deposited On:29 Jun 2010 07:31
Last Modified:11 Oct 2014 04:21

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