Definitions for "abstract location"
a static representative for a set of dynamic location instances created during program execution