• enclosed(parent-child) cache storage

• sequential flow cache storage

• cache implemented as set of cache invariant annotations, like:

sin = function (x:: num)::num; cache(ResultDependsOnArgumentsOnly)