A lazy non-deterministic functional language.

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

[img]
Preview
PDF
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 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: 09 Jun 2021 17:39
URI: https://eprints.mdx.ac.uk/id/eprint/6167

Actions (login required)

View Item View Item

Statistics

Downloads
Activity Overview
142Downloads
459Hits

Additional statistics are available via IRStats2.