the [Vesta] evaluator can characterize the contents of … body and a set of free variables, the … is also an immutable file residing in an … The evaluator can fingerprint the parse tree of … [the normal model cache entry]. Alternatively, the evaluator can fingerprint the entire immutable directory in … plus the file name of the model [the special model cache entry]. … [p. 132] special model entries serve as cut-off points …
Google-1
Google-2
Copyright clearance needed for quotation.