Next: Parallelism: Evolving Algebras
Up: Duplication
Previous: Duplication
To execute, calculate 
, get some a' from the reserve and redefine basic functions on tuples involving a' in
such a way that a and a' become indistinguishable as arguments. Then
execute 
with v equal a' .Duplication can be seen as a powerful inheritance mechanism. It is easy to
see that the extend construct is not powerful enough to replace
duplication.