Computer Science Technical Reports
CS at VT

A DOMAIN FOR FUNCTIONAL PROGRAMMING SYSTEMS

Martin, Johannes J. (1981) A DOMAIN FOR FUNCTIONAL PROGRAMMING SYSTEMS . Technical Report CS81004-R, Computer Science, Virginia Tech.

Full text available as:
PDF - Requires Adobe Acrobat Reader or other PDF viewer.
CS81004-R.pdf (843041)

Abstract

A domain for functional programming systems is proposed. This domain is the powerset of a set of items where items are either atomic or ordered pairs of items. The structure of the domain is detennined by the relation 'is weaker than' and by three basic operations, under which the domain is closed: Union, the cartesian product, and the operation of application.

Item Type:Departmental Technical Report
Keywords:Programming languages, functional programming languages, domains, nondeterminism.
Subjects:Computer Science > Historical Collection(Till Dec 2001)
ID Code:861
Deposited By:Administrator, Eprints
Deposited On:10 May 2006