Constraints between model and view (dependent).
fonted string.string = model.string
Enforced procedurally in model-aware views and controllers.
What if language offered constraints seprate from depedents.
ALV model in Rendezvous. ALV V = Rendezvous V + C.
one-way, multi-way, two-way constraints.
side effects - for latecomers.
uninitialized vars - data flow approach, waitfor operands.
indirect references - dynamic inheritance, selected objects.
Ultra LWP objects like monitors.
Abstract processes + View processes for fairness.
These enforced
Centralized impl only.
ALV for replicated?