%PDF-1.4 5 0 obj << /S /GoTo /D (section.1) >> endobj 8 0 obj (Introduction) endobj 9 0 obj << /S /GoTo /D (section.2) >> endobj 12 0 obj (Overview of the Approach) endobj 13 0 obj << /S /GoTo /D (section.3) >> endobj 16 0 obj (A Language of Pointers) endobj 17 0 obj << /S /GoTo /D (section.4) >> endobj 20 0 obj (The Type System) endobj 21 0 obj << /S /GoTo /D (section.5) >> endobj 24 0 obj (Operational Semantics) endobj 25 0 obj << /S /GoTo /D (subsection.5.1) >> endobj 28 0 obj (Type Safety) endobj 29 0 obj << /S /GoTo /D (section.6) >> endobj 32 0 obj (Type Inference) endobj 33 0 obj << /S /GoTo /D (section*.2) >> endobj 36 0 obj (1. Constraint Collection.) endobj 37 0 obj << /S /GoTo /D (section*.3) >> endobj 40 0 obj (2. Constraint Normalization.) endobj 41 0 obj << /S /GoTo /D (section*.4) >> endobj 44 0 obj (3. Constraint Solving.) endobj 45 0 obj << /S /GoTo /D (section.7) >> endobj 48 0 obj (Handling the Rest of C) endobj 49 0 obj << /S /GoTo /D (section.8) >> endobj 52 0 obj (Source Changes) endobj 53 0 obj << /S /GoTo /D (section.9) >> endobj 56 0 obj (Experiments) endobj 57 0 obj << /S /GoTo /D (section.10) >> endobj 60 0 obj (Related Work) endobj 61 0 obj << /S /GoTo /D (section.11) >> endobj 64 0 obj (Conclusion and Future Work) endobj 65 0 obj << /S /GoTo /D (section.12) >> endobj 68 0 obj (Acknowledgments) endobj 69 0 obj << /S /GoTo /D [70 0 R /Fit ] >> endobj 72 0 obj << /Length 5715 /Filter /FlateDecode >> stream xڍ[[F~_QZS%ua}:m˜ t5g (5' ڶZj$32\vQKqpW4݉zyQ7#G/s2?OM1W_|%xq$NL$H0Nwʟo?U=4@}w8龨nOtx@-}6>녱>\b_E}9WXdGB!?q3oOwמdgAd̔m{~/0W,"-'|W?JB\Z2}xYk^QDYW_]/wGAfk[]zNcNf;ߥ-|&;}Upx]Tsww@{5/i`2t^-Q9Ya7$)m9gfDK~wCU\9$ؿqx==d |dpCVs,SgTl+cȉ=uO-HӁ}X6P*}<-H//ԏvmPsG`4th(R>Wzn椁O18U"9UyuQ;(RfL 0?$>CŸfGPB<10Pz慥?l ڙ"C̢(t Fόxt#mή꫶ -)ɝR=B2֍z/Ɵ*G-,y37Vè۟^踧>odȢ I&?VoQ<~Щ;ujߓRocƪ33_Y@2lՖzKɄAhp.9eWȤ/EZO:@pFZqJA0QuM( y$Jr4 W~fAT;#
0䱤
ݵ-[>02:f۽tA]1zMJˈ./^C(N@cõ N,0
y#Zzctzʇh
Y猝5aֻ./\>VeWZkh^$Nq/}of;qC[ *Zz[:2wX0ybaƦ)FD͞0TWǨVCS4qn_B&OG" =Tqq'4Qփ