%PDF-1.4 % 4 0 obj << /S /GoTo /D (section.1) >> endobj 7 0 obj (Introduction) endobj 8 0 obj << /S /GoTo /D (section.2) >> endobj 11 0 obj (An Example) endobj 12 0 obj << /S /GoTo /D (section.3) >> endobj 15 0 obj (Implementing Stateful Contracts) endobj 16 0 obj << /S /GoTo /D (section.4) >> endobj 19 0 obj (Formalization) endobj 20 0 obj << /S /GoTo /D (subsection.4.1) >> endobj 23 0 obj (The Calculi C and A) endobj 24 0 obj << /S /GoTo /D (subsection.4.2) >> endobj 27 0 obj (Mixing It Up with AC) endobj 28 0 obj << /S /GoTo /D (section.5) >> endobj 31 0 obj (Proving Type Soundness) endobj 32 0 obj << /S /GoTo /D (subsection.5.1) >> endobj 35 0 obj (The Internal Type System) endobj 36 0 obj << /S /GoTo /D (subsection.5.2) >> endobj 39 0 obj (Properties of Types and Stores) endobj 40 0 obj << /S /GoTo /D (subsection.5.3) >> endobj 43 0 obj (External Typing Implies Internal Typing) endobj 44 0 obj << /S /GoTo /D (subsection.5.4) >> endobj 47 0 obj (Evaluation Contexts and Substitution) endobj 48 0 obj << /S /GoTo /D (subsection.5.5) >> endobj 51 0 obj (Preservation) endobj 52 0 obj << /S /GoTo /D (subsection.5.6) >> endobj 55 0 obj (Progress) endobj 56 0 obj << /S /GoTo /D (subsection.5.7) >> endobj 59 0 obj (Type Soundness) endobj 60 0 obj << /S /GoTo /D (section.6) >> endobj 63 0 obj (Conclusion) endobj 64 0 obj << /S /GoTo /D (section*.11) >> endobj 67 0 obj (References) endobj 68 0 obj << /S /GoTo /D (section*.12) >> endobj 71 0 obj (List of Figures) endobj 72 0 obj << /S /GoTo /D (appendix.A) >> endobj 75 0 obj (The Affine Sockets Library) endobj 76 0 obj << /S /GoTo /D (appendix.B) >> endobj 79 0 obj (Semantics of C) endobj 80 0 obj << /S /GoTo /D [81 0 R /Fit ] >> endobj 84 0 obj << /Length 1324 /Filter /FlateDecode >> stream x}ˎ6_[)`MGOI mҮh^DGwCm/g8'$. 74҄y6*(W9WV{hS/dm?X 69yopWHq;)#q)*2*QQ*$HUBeHiYΫP?E!^oM]8ٰDqMjRH$J**x%%8-0vzofp͈/q)=^HƺTX0uHq)G=h9Xuxo&n61CJoI!˪IOJ# Y(~w4c]L/|x dqvj\S`y?ӂMD!VKk'k`Y:a0ۿ=l_BrUjנHs Y$<5ގp{Td,DfڡӠu0eHLCءq&h {. Smk^a7BdǡG&5 qp5-4&Y7(:/fc 2^RtYB棞+5+(;Gn|"Pg9F]$Ll t tt AFoNnG|j*i |DB9CàE;i`cY0 $!sA s|,*-wqeпZ"S 氠9*PRT9%i+tm7=$LרyGWFsEn'Ga_{s,nDV~HHվJ]I쵔P;Ki@k8@rnхf[}3z$yʡM H |DASft!x3QVCT vdB/E* 30 +?ks2ů7Ha6x=\̋ӃG¤ wI$pm`>}I !}\ruD]$ʂ؟~O*Q`?+4REūV̸*a1h!:Y-?DVIxS#LvHg LiTz _6Krp7 w/_YK_P= OCQG߰--vxʏ?Wy3)fש<XڼF#eP/˰!6Ez endstream endobj 81 0 obj << /Type /Page /Contents 84 0 R /Resources 83 0 R /MediaBox [0 0 612 792] /Parent 98 0 R /Annots [ 82 0 R 96 0 R ] >> endobj 82 0 obj << /Type /Annot /Border[0 0 0]/H/I/C[0 1 1] /Rect [401.061 77.664 540.996 90.132] /Subtype/Link/A<> >> endobj 96 0 obj << /Type /Annot /Border[0 0 0]/H/I/C[0 1 1] /Rect [71.004 64.229 235.427 77.25] /Subtype/Link/A<> >> endobj 85 0 obj << /D [81 0 R /XYZ 71 757.862 null] >> endobj 86 0 obj << /D [81 0 R /XYZ 72 716.812 null] >> endobj 92 0 obj << /D [81 0 R /XYZ 72 517.933 null] >> endobj 83 0 obj << /Font << /F26 87 0 R /F33 88 0 R /F52 89 0 R /F65 90 0 R /F83 91 0 R /F66 93 0 R /F82 94 0 R /F13 95 0 R /F16 97 0 R >> /ProcSet [ /PDF /Text ] >> endobj 120 0 obj << /Length 944 /Filter /FlateDecode >> stream xXKs6W d3L[''FN(*# "ii3ؾ#]|QKj-U1bhyGFjBkt_o˘8?q"l<~&XFEdSļ$FhS7aSujNa,U{Dvq$BYTTY:;[i,%\8T27ն; ^&DP5 l^y wsF˓Dۿqrq7mugAV*%El%VΦ6 taH@á^~t`4Hy;Qg,%Z(rW1 " 4Iy j2 ,;6q˲r=sb YZ"O! ' <A#~>'LA=5
{)%)Ri&9L Ӗ㌢|F
2*$/ĵΩ\muqBQ̿!Jq*,¢qZ\9R:rˀVmo&Ь}vyl+7r/D(cLEny!iM<
ˇ,egFJ0=LrӗX)oDv) r(~i'6ɟ\>CXUKßWj9_nA}ҙ(}
GzƏ¾FGеbf_zUSْ1#*t]Wr5R'ڕY9N߀oۉ&kR{rp[;*tyޑVSv
|y~&pV|y*WnU
$zFф
(b|X-Qod"pui> endobj
99 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/I/C[1 0 0]
/Rect [71.004 677.579 164.547 687.822]
/A << /S /GoTo /D (section.1) >>
>> endobj
100 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/I/C[1 0 0]
/Rect [71.004 657.298 163.662 669.865]
/A << /S /GoTo /D (section.2) >>
>> endobj
101 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/I/C[1 0 0]
/Rect [71.004 639.341 283.875 651.908]
/A << /S /GoTo /D (section.3) >>
>> endobj
102 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/I/C[1 0 0]
/Rect [71.004 623.708 170.98 633.951]
/A << /S /GoTo /D (section.4) >>
>> endobj
103 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/I/C[1 0 0]
/Rect [88.559 607.469 237.376 621.172]
/A << /S /GoTo /D (subsection.4.1) >>
>> endobj
104 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/I/C[1 0 0]
/Rect [88.559 591.663 231.183 606.727]
/A << /S /GoTo /D (subsection.4.2) >>
>> endobj
105 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/I/C[1 0 0]
/Rect [71.004 574.536 236.438 587.103]
/A << /S /GoTo /D (section.5) >>
>> endobj
106 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/I/C[1 0 0]
/Rect [88.559 560.09 252.767 572.64]
/A << /S /GoTo /D (subsection.5.1) >>
>> endobj
107 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/I/C[1 0 0]
/Rect [88.559 545.644 276.143 558.194]
/A << /S /GoTo /D (subsection.5.2) >>
>> endobj
108 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/I/C[1 0 0]
/Rect [88.559 531.198 327.044 543.748]
/A << /S /GoTo /D (subsection.5.3) >>
>> endobj
109 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/I/C[1 0 0]
/Rect [88.559 519.076 311.838 529.303]
/A << /S /GoTo /D (subsection.5.4) >>
>> endobj
110 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/I/C[1 0 0]
/Rect [88.559 504.631 181.087 514.857]
/A << /S /GoTo /D (subsection.5.5) >>
>> endobj
111 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/I/C[1 0 0]
/Rect [88.559 487.861 160.671 500.411]
/A << /S /GoTo /D (subsection.5.6) >>
>> endobj
112 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/I/C[1 0 0]
/Rect [88.559 473.415 200.497 485.965]
/A << /S /GoTo /D (subsection.5.7) >>
>> endobj
113 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/I/C[1 0 0]
/Rect [71.004 457.782 154.869 468.025]
/A << /S /GoTo /D (section.6) >>
>> endobj
114 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/I/C[1 0 0]
/Rect [88.559 443.336 144.416 453.562]
/A << /S /GoTo /D (section*.11) >>
>> endobj
115 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/I/C[1 0 0]
/Rect [88.559 426.566 165.123 439.117]
/A << /S /GoTo /D (section*.12) >>
>> endobj
116 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/I/C[1 0 0]
/Rect [71.004 408.609 249.38 421.176]
/A << /S /GoTo /D (appendix.A) >>
>> endobj
117 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/I/C[1 0 0]
/Rect [71.004 391.183 183.017 403.271]
/A << /S /GoTo /D (appendix.B) >>
>> endobj
121 0 obj <<
/D [119 0 R /XYZ 71 757.862 null]
>> endobj
123 0 obj <<
/D [119 0 R /XYZ 72 693.021 null]
>> endobj
118 0 obj <<
/Font << /F105 122 0 R /F26 87 0 R /F88 124 0 R /F16 97 0 R /F31 125 0 R /F101 126 0 R >>
/ProcSet [ /PDF /Text ]
>> endobj
149 0 obj <<
/Length 3292
/Filter /FlateDecode
>>
stream
xڵَ}By
vvc;k$;FF#rFyxSW5;65vooRnzw{t&ip(!Swy}O|y{ˍxNb
twn~e0s4=ҪjD ?n9.:کPA`^&a