document: UPSILON : universal programming system with incomplete lazy object notation 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
doc_bio_tags: B O B I I O B I I I O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O B I O O O B I I O O O B I I O O O O O O O O O O O O O O O O O O O O O O O O O O
extractive_keyphrases: upsilon universal programming system programming system usable type theory data synchronization primitive incomplete lazy object notation
abstractive_keyphrases: object-oriented flavor