A lazy non-deterministic functional language.

Tools

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

Documents
11929:36936
[thumbnail of 10.1.1.5.3084%5B1%5D.pdf]
Preview
PDF
10.1.1.5.3084%5B1%5D.pdf
Available under License All rights reserved.

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.
More Information
Research Institute, Centre or Group - Does NOT include content added after October 2018:
Cultural Communication and Computing Research Institute > Communication and Computing Research Centre
Departments - Does NOT include content added after October 2018:
Faculty of Science, Technology and Arts > Department of Computing

Identifiers

ORCID for Anthony Clark: ORCID iD orcid.org/0000-0003-3167-0739

Library

Item Type:
Monograph (Technical Report)
Depositing User:
Tony Clark
Date Deposited:
12 Apr 2016 11:26
Last Modified:
12 May 2021 19:00
URI:
https://shura.shu.ac.uk/id/eprint/11929
Statistics

Downloads

Downloads per month over past year

View more statistics

Share
Add to AnyAdd to TwitterAdd to FacebookAdd to LinkedinAdd to PinterestAdd to Email

Actions (login required)

View Item View Item

SHURA supports OAI 2.0 with a base URL of https://shura.shu.ac.uk/cgi/oai2