A DOMAIN FOR FUNCTIONAL PROGRAMMING SYSTEMS
1981) A DOMAIN FOR FUNCTIONAL PROGRAMMING SYSTEMS . Technical Report CS81004-R, Computer Science, Virginia Tech. (
Full text available as: |
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 |