A lazy non-deterministic functional language.

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

[img]
Preview
PDF
Download (258kB)

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: A. > School of Science and Technology > Computer Science
A. > School of Science and Technology > Computer Science > Intelligent Environments Research Group
A. > School of Science and Technology > Computer Science > SensoLab group
Item ID: 6167
Depositing User: Devika Mohan
Date Deposited: 29 Jun 2010 07:31
Last Modified: 22 Sep 2015 17:53
URI: http://eprints.mdx.ac.uk/id/eprint/6167

Actions (login required)

Edit Item Edit Item

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