UPSILON: Universal Programming System with Incomplete Lazy Object Notation

• Autorzy: Postow, B. , Regan, K. , Smith, C.H.
• Języki publikacji: EN

Abstrakty

EN

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.

Słowa kluczowe

EN

theory of computation; model of computation; object oriented; type theory; recursion theory

• Czasopismo: Fundamenta Informaticae
• Rocznik: 2002
• Tom: Vol. 50, nr 3,4
• Strony: 325-359
• Opis fizyczny: bibliogr. 33 poz.

Twórcy

autor

Postow, B.

autor

Regan, K.

autor

Smith, C.H.

• Department of Computer Science, University of Maryland College Park,