Filtering nodes … support more selective invalidation by allowing a programmatic … [For example,] If a source procedure changes, invalidation of … will first recompute the set of callees from … if the two sets differ. … the checking cost for filtering nodes is often … recompute [at compile time] the information represented by filtering nodes …
Google-1
Google-2
Copyright clearance needed for quotation.