UPSILON: Universal Programming System with Incomplete Lazy Object Notation

Article type: Research Article

Authors: Postow, Brian | Regan, Kenneth | Smith, Carl H.

Affiliations: Department of Computer Science, University of Maryland College Park | Department of Computer Science and Engineering, University at Buffalo, State University of New York

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.

Keywords: theory of computation, models of computation, object oriented, type theory, recursion theory

Journal: Fundamenta Informaticae, vol. 50, no. 3-4, pp. 325-359, 2002