A lazy non-deterministic functional language.

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

[img]
Preview
PDF
10.1.1.5.3084%5B1%5D.pdf
All rights reserved.

Download (258kB) | Preview
Related URLs:

    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 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
    Depositing User: Tony Clark
    Date Deposited: 12 Apr 2016 11:26
    Last Modified: 12 May 2021 19:00
    URI: http://shura.shu.ac.uk/id/eprint/11929

    Actions (login required)

    View Item View Item

    Downloads

    Downloads per month over past year

    View more statistics