[mpweiher]

IIRC, this was called "permanent assignment" in CPL, a name I very much like.

It's also pretty much the same as a dataflow constraint (see: Amulet, Garnet, Spreadsheets, ...)

In Objective-S, I use the syntax |= for the unidirectional variant of a dataflow constraint, =|= for bidirectional (ObjS uses := or ← for assignment, = for equality). So the above would be:

    a := b.
    a ← b.
    c |= d+1.
    z |= 10-time.  (if 'time' were the current time in ObjS)

https://objective.st