|
| << previous |
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
Details for article 7 of 7 found articles
| Title: |
UPSILON: Universal Programming System with Incomplete Lazy Object Notation |
| Author: |
Brian Postow Kenneth Regan Carl H. Smith |
| Appeared in: |
Fundamenta informaticae |
| Paging: | Volume 50 (2003) nr. 3-4 pages 325-359 |
| Year: |
2003-07-11 |
| Contents: |
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. |
| Publisher: |
IOS Press |
| Source file: |
Elektronische Wetenschappelijke Tijdschriften |
Details for article 7 of 7 found articles
| << previous |