Associobs : a program notation with tuples instead of variables

M. Rem

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

14 Citaten (Scopus)


A program notation without variables is proposed. The state of a computation is recorded as a set of "associons." Each associon is a tuple of names representing a relation between the entities with those names. The state of the computation can be changed by the creation of new associons representing new relations deducible from those already recorded. The building block prescribing such deductions is called the "closure statement." The notation proposed is the result of our search for a basic statement the execution of which may employ more concurrency than is the case for the traditional assignment statement. Some possible extensions to the notation are discussed.
Originele taal-2Engels
Pagina's (van-tot)251-262
Aantal pagina's12
TijdschriftACM Transactions on Programming Languages and Systems
Nummer van het tijdschrift3
StatusGepubliceerd - 1981


Duik in de onderzoeksthema's van 'Associobs : a program notation with tuples instead of variables'. Samen vormen ze een unieke vingerafdruk.

Citeer dit