UPSILON: Universal Programming System with Incomplete Lazy Object Notation

Simple item page
dc.contributor.authorPostow, Brianen_US
dc.contributor.authorRegan, Kenneth
dc.contributor.authorSmith, Carl H.
dc.date.accessioned2004-05-31T21:09:11Z
dc.date.available2004-05-31T21:09:11Z
dc.date.created2000-09en_US
dc.date.issued2000-09-08en_US
dc.description.abstractThis 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.en_US
dc.format.extent372159 bytes
dc.format.mimetypeapplication/postscript
dc.identifier.urihttp://hdl.handle.net/1903/518
dc.language.isoen_US
dc.relation.isAvailableAtDigital Repository at the University of Marylanden_US
dc.relation.isAvailableAtUniversity of Maryland (College Park, Md.)en_US
dc.relation.isAvailableAtTech Reports in Computer Science and Engineeringen_US
dc.relation.isAvailableAtComputer Science Department Technical Reportsen_US
dc.relation.ispartofseriesUM Computer Science Department; CS-TR-4176en_US
dc.titleUPSILON: Universal Programming System with Incomplete Lazy Object Notationen_US
dc.typeTechnical Reporten_US

Files

Original bundle
Now showing 1 - 2 of 2
No Thumbnail Available
Name:
CS-TR-4176.ps
Size:
363.44 KB
Format:
Postscript Files
Download
Thumbnail Image
Name:
CS-TR-4176.pdf
Size:
340.52 KB
Format:
Adobe Portable Document Format
Description:
Auto-generated copy of CS-TR-4176.ps
Download

Collections

Technical Reports of the Computer Science Department