Parallelism, control and synchronization expression in a single assignment language

The language presented here should be considered as a part of a research project whose goal is the specification of a multiprocessor parallel system (TEAU 1 8). This paper deals with the objects definition in the language, in which a new attribute, called "environment" is introduced and discussed. Standard objects are defined with a standard value for it, the "single assignment rule", (TESL 68, CHAM 71) which implies the description of maximum inherent parallelism in the program. The user can also create his own "non standard" objects using special facilities for defining their "environment". Finally, we shall give the flavour of the syntax and semantics of statements in our single assignment language, supported by simple program examples.