|
| << vorige |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 7 van 7 gevonden artikelen
| Titel: |
UPSILON: Universal Programming System with Incomplete Lazy Object Notation |
| Auteur: |
Brian Postow Kenneth Regan Carl H. Smith |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 50 (2003) nr. 3-4 pagina's 325-359 |
| Jaar: |
2003-07-11 |
| Inhoud: |
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. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 7 van 7 gevonden artikelen
| << vorige |