%PDF-1.4 % 4 0 obj << /S /GoTo /D (MARK.0.-1) >> endobj 7 0 obj (Introduction) endobj 8 0 obj << /S /GoTo /D (MARK.1.-1) >> endobj 11 0 obj (Background and Overview) endobj 12 0 obj << /S /GoTo /D (MARK.2.-1) >> endobj 15 0 obj (Separating Shape Graphs for Modeling Memory) endobj 16 0 obj << /S /GoTo /D (SUBMARK.3.0) >> endobj 19 0 obj (Compiler Independent Use of Aggregates) endobj 20 0 obj << /S /GoTo /D (SUBMARK.4.0) >> endobj 23 0 obj (Compiler Dependencies Induced by Union Types) endobj 24 0 obj << /S /GoTo /D (MARK.5.-1) >> endobj 27 0 obj (A C Memory Model as Separating Shape Graphs) endobj 28 0 obj << /S /GoTo /D (SUBMARK.6.0) >> endobj 31 0 obj (Concretizing Contiguous Regions) endobj 32 0 obj << /S /GoTo /D (SUBMARK.7.0) >> endobj 35 0 obj (Summarizing Complex Regions using Inductive Definitions) endobj 36 0 obj << /S /GoTo /D (SUBMARK.8.0) >> endobj 39 0 obj (Shape Analysis for Compiler-Dependent C) endobj 40 0 obj << /S /GoTo /D (MARK.9.-1) >> endobj 43 0 obj (Implementation and Timing Results) endobj 44 0 obj << /S /GoTo /D (MARK.10.-1) >> endobj 47 0 obj (Related Work) endobj 48 0 obj << /S /GoTo /D (MARK.11.-1) >> endobj 51 0 obj (Conclusion) endobj 52 0 obj << /S /GoTo /D [53 0 R /Fit ] >> endobj 74 0 obj << /Length 2749 /Filter /FlateDecode >> stream xڥY[ܶ~_BhuA6cA)