| 
|
Quote: dependency paths are the secondary keys for Vesta's function cache; a dependency path is a type and a path; e.g., complete value, existence, false existence
Topic:
dependency analysis
Quotation Skeleton
the Vesta evaluator … uses a small, fixed collection of predicates, encoded … the names in a cache entry's secondary key … A dependency path … takes the form t:path where t denotes the … [complete value, type, existence, domain, false existence, length, expression (closures)], and path specifies the component of the evaluation context on … [p. 121] Google-1 Google-2
Copyright clearance needed for quotation.
Topic: dependency analysis (34 items)