If the source program changes, the derived information … in terms of space usage, speed of processing, … augments a directed acyclic graph representation of dependencies … algorithm for efficient invalidation processing. … we are able to reduce the number of … by a factor of two over the previous …
Google-1
Google-2
Copyright clearance needed for quotation.