UPSILON: Universal Programming System with Incomplete Lazy Object Notation

Loading...
Thumbnail Image

Files

CS-TR-4176.ps (363.44 KB)
No. of downloads: 158
CS-TR-4176.pdf (340.52 KB)
No. of downloads: 479

Publication or External Link

Date

2000-09-08

Advisor

Citation

DRUM DOI

Abstract

This paper presents a new model of computation that differs from prior models in that it emphasizes data over flow control, has no named variables and has an object-oriented flavor. We prove that this model is a complete and confluent acceptable programming system and has a usable type theory. A new data synchronization primitive is introduced in order to achieve the above properties. Subtle variations of the model are shown to fall short of having all these necessary properties.

Notes

Rights