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

[+][-]

11929:36936

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:

https://orcid.org/0000-0003-3167-0739