%PDF-1.2
%
466 0 obj
<<
/Linearized 1
/O 469
/H [ 2200 1827 ]
/L 312001
/E 58187
/N 22
/T 302562
>>
endobj
xref
466 81
0000000016 00000 n
0000001971 00000 n
0000002159 00000 n
0000004027 00000 n
0000004293 00000 n
0000004360 00000 n
0000004459 00000 n
0000004557 00000 n
0000004712 00000 n
0000004852 00000 n
0000004987 00000 n
0000005101 00000 n
0000005234 00000 n
0000005369 00000 n
0000005517 00000 n
0000005682 00000 n
0000005803 00000 n
0000005915 00000 n
0000006033 00000 n
0000006152 00000 n
0000006268 00000 n
0000006391 00000 n
0000006528 00000 n
0000006659 00000 n
0000006908 00000 n
0000007394 00000 n
0000010391 00000 n
0000010584 00000 n
0000010719 00000 n
0000011304 00000 n
0000011517 00000 n
0000012132 00000 n
0000012337 00000 n
0000012538 00000 n
0000019814 00000 n
0000020230 00000 n
0000020903 00000 n
0000021645 00000 n
0000029065 00000 n
0000029489 00000 n
0000029704 00000 n
0000030187 00000 n
0000030943 00000 n
0000031689 00000 n
0000032090 00000 n
0000032349 00000 n
0000032563 00000 n
0000032777 00000 n
0000032799 00000 n
0000033715 00000 n
0000033737 00000 n
0000034529 00000 n
0000034551 00000 n
0000035399 00000 n
0000035421 00000 n
0000036228 00000 n
0000036250 00000 n
0000037165 00000 n
0000037187 00000 n
0000038091 00000 n
0000038404 00000 n
0000038602 00000 n
0000038799 00000 n
0000039002 00000 n
0000040150 00000 n
0000040230 00000 n
0000040538 00000 n
0000041393 00000 n
0000041513 00000 n
0000041713 00000 n
0000041735 00000 n
0000042748 00000 n
0000042952 00000 n
0000042974 00000 n
0000043361 00000 n
0000043440 00000 n
0000049826 00000 n
0000051167 00000 n
0000054996 00000 n
0000002200 00000 n
0000004004 00000 n
trailer
<<
/Size 547
/Info 461 0 R
/Root 467 0 R
/Prev 302551
/ID[<0b55e0745e1c46c057ef727a0125b057><0b55e0745e1c46c057ef727a0125b057>]
>>
startxref
0
%%EOF
467 0 obj
<<
/Type /Catalog
/Pages 463 0 R
/Outlines 470 0 R
/Names 468 0 R
/OpenAction [ 469 0 R /Fit ]
/PageMode /UseOutlines
/ViewerPreferences << /FitWindow true >>
>>
endobj
468 0 obj
<<
/Dests 460 0 R
>>
endobj
545 0 obj
<< /S 1778 /T 2127 /O 2194 /E 2210 /Filter /FlateDecode /Length 546 0 R >>
stream
HV{LaSp£`"6wvMV\z&
1즄vN6+܅m6
@pP4MeSUeR:mLڦQMNt$| 0`A!}A֕|[:U,Ŵ.c_)&붫}#c+ oXrU*;TW [_ٽ7 lHIdI*BJx =m$:2+w@(`Zg$bx"ܞTmTsϟѴ|u7#+_k4/z7Ը;FϾNiZr)bq;VqxN㶃tg in!pkDKb^oGx,LRIIVC
KeS-KN:}6|@繅ž={w+^KxqYhEl[b
ze|7Qg;a׆#`r'oeOM
Fye(K:RT"cll1}eiUmN4ڱ{jAB[郬EhLiT *BrRYcVe!J;ETӠ!)u%W^%+̴o
bx|F98.]pҮTo
%) Nji.T=Zc̢WD
Pxv.I'18VF^ȴ F*n%lhSgBEϟ"x,悑phCPC*hMRpNN^-֨VbaáALB*wQvL&F#vS0?yʛc'l O"9HGVAzib>Ho/6#loO{8?0s`N{;NJ:B>"ig`o`jdf/*Q-ܞYgv0E;S$NPJ py ؈qeVVt&j3ʷq]M~16U*qshsدh3e)n/h~s+
^N懗̐%吅gt{I3tg&lGm=ͤ8q
m
Wc:]NYOf*6レJPR/RO=o4Wem촟(<n4LҺURfptb}BTWE2|eW{4b J eyf.ha%YVgm x¯ɇ;.z?L?%q֏/m{Wή՟oOD?*+!%N^R8wZ~❢_~#lw5wqf~-}e֕[ړւL'ؐvcCf(c>~lx.Gm?]1([an {YJ32ؒ}76m=clw@h9io23[[Aѯ<G
endstream
endobj
546 0 obj
1692
endobj
469 0 obj
<<
/Type /Page
/Parent 462 0 R
/Resources 489 0 R
/Contents [ 514 0 R 516 0 R 518 0 R 520 0 R 522 0 R 524 0 R 536 0 R 539 0 R ]
/CropBox [ 92 112 523 778 ]
/Annots [ 487 0 R 488 0 R ]
/Thumb 292 0 R
/MediaBox [ 0 0 595 842 ]
/Rotate 0
>>
endobj
470 0 obj
<<
/Count 16
/First 471 0 R
/Last 472 0 R
>>
endobj
471 0 obj
<<
/Title (Introduction)
/Dest (section.1.1)
/Parent 470 0 R
/Next 480 0 R
>>
endobj
472 0 obj
<<
/Title (Future Work)
/Dest (section.1.5)
/Parent 470 0 R
/Prev 473 0 R
>>
endobj
473 0 obj
<<
/Title (Related Work)
/Dest (section.1.4)
/Parent 470 0 R
/Prev 474 0 R
/Next 472 0 R
/First 475 0 R
/Last 476 0 R
/Count 5
>>
endobj
474 0 obj
<<
/Title (Application to Program Specialization )
/Dest (section.1.3)
/Parent 470 0 R
/Prev 480 0 R
/Next 473 0 R
>>
endobj
475 0 obj
<<
/Title (Static Analysis of Object-Oriented Programs)
/Dest (subsection.1.4.1)
/Parent 473 0 R
/Next 479 0 R
>>
endobj
476 0 obj
<<
/Title (Program Specialization)
/Dest (subsection.1.4.5)
/Parent 473 0 R
/Prev 477 0 R
>>
endobj
477 0 obj
<<
/Title (Static Detection of Errors)
/Dest (subsection.1.4.4)
/Parent 473 0 R
/Prev 478 0 R
/Next 476 0 R
>>
endobj
478 0 obj
<<
/Title (Pointer and Sharing Analysis)
/Dest (subsection.1.4.3)
/Parent 473 0 R
/Prev 479 0 R
/Next 477 0 R
>>
endobj
479 0 obj
<<
/Title (Abstract Interpretation of Logic Programs)
/Dest (subsection.1.4.2)
/Parent 473 0 R
/Prev 475 0 R
/Next 478 0 R
>>
endobj
480 0 obj
<<
/Title (Domains and Operations)
/Dest (section.1.2)
/Parent 470 0 R
/Prev 471 0 R
/Next 474 0 R
/First 481 0 R
/Last 482 0 R
/Count 6
>>
endobj
481 0 obj
<<
/Title (Concrete \(Standard\)\nDomain)
/Dest (subsection.1.2.1)
/Parent 480 0 R
/Next 486 0 R
>>
endobj
482 0 obj
<<
/Title (Abstract Assignments)
/Dest (subsection.1.2.6)
/Parent 480 0 R
/Prev 483 0 R
>>
endobj
483 0 obj
<<
/Title (Convergence)
/Dest (subsection.1.2.5)
/Parent 480 0 R
/Prev 484 0 R
/Next 482 0 R
>>
endobj
484 0 obj
<<
/Title (Upper Bounds)
/Dest (subsection.1.2.4)
/Parent 480 0 R
/Prev 485 0 R
/Next 483 0 R
>>
endobj
485 0 obj
<<
/Title (Orderings)
/Dest (subsection.1.2.3)
/Parent 480 0 R
/Prev 486 0 R
/Next 484 0 R
>>
endobj
486 0 obj
<<
/Title (Abstract Domains)
/Dest (subsection.1.2.2)
/Parent 480 0 R
/Prev 481 0 R
/Next 485 0 R
>>
endobj
487 0 obj
<<
/Dest (cite.Cousot77)
/Type /Annot
/Subtype /Link
/Rect [ 167 250 174 258 ]
/C [ 0 1 0 ]
/Border [ 0 0 1 ]
>>
endobj
488 0 obj
<<
/Dest (page.98)
/Type /Annot
/Subtype /Link
/Rect [ 353 156 363 162 ]
/C [ 1 0 0 ]
/Border [ 0 0 1 ]
>>
endobj
489 0 obj
<<
/ProcSet [ /PDF /Text /ImageB ]
/Font << /F20 526 0 R /F21 527 0 R /F22 496 0 R /F23 501 0 R /F24 490 0 R
/F25 494 0 R /F26 510 0 R /F27 507 0 R /F28 506 0 R >>
/XObject << /Im1 537 0 R >>
/ExtGState << /GS1 540 0 R >>
>>
endobj
490 0 obj
<<
/Type /Font
/Subtype /Type1
/FirstChar 1
/LastChar 76
/Widths [ 771 571 285 542 457 402 405 400 542 514 314 771 514 856 571 285 728
285 514 742 285 671 457 371 742 571 571 571 571 542 571 314 343
457 285 400 400 600 771 742 542 528 1056 542 571 699 514 514 642
785 514 285 514 799 799 514 514 285 514 514 806 514 514 285 285
799 771 699 942 514 756 799 628 771 771 514 ]
/Encoding 500 0 R
/BaseFont /CMR9
/FontDescriptor 495 0 R
/ToUnicode 502 0 R
>>
endobj
491 0 obj
<< /Filter /FlateDecode /Length 2904 /Subtype /Type1C >>
stream
Hypw-K`D ,ήIRJ)'6NI11-[|ȶdծu[Ȗ-JةiI6%ɤMI5ON*C:L{EEEyg̴6ӐhLSdSd"ҒS:!BgGuj
(xTԵ!
go+,WW?zժ