You are about to access our book library "A Framework for Efficient Modular Heap Analysis (Foundations and Trends in Programming Languages) full version" .