concurrent assignment

views updated

concurrent assignment An assignment statement of the form x1, …, xn := t1, …, tn

in which the value of the terms t1, …, tn over some signature Σ are evaluated and assigned in parallel as the new values of the variables x1, …, xn. For example, the concurrent assignment x, y := y, x

simply swaps the values of x and y.