A lazy non-deterministic functional language.

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

Preview

PDF
Download (258kB) | Preview

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:	A. > School of Science and Technology > Computer Science A. > School of Science and Technology > Computer Science > Intelligent Environments 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:	30 Nov 2022 03:21
URI:	https://eprints.mdx.ac.uk/id/eprint/6167

Actions (login required)

View Item

Statistics

DownloadsShow export options

Activity Overview

6 month trend

167Downloads

6 month trend

506Hits

Additional statistics are available via IRStats2.

CORE (COnnecting REpositories)