%PDF-1.5 % 1 0 obj << /S /GoTo /D (section.1) >> endobj 4 0 obj (Introduction) endobj 5 0 obj << /S /GoTo /D (section.2) >> endobj 8 0 obj (Overview and formal motivation) endobj 9 0 obj << /S /GoTo /D (section.3) >> endobj 12 0 obj (Preliminaries) endobj 13 0 obj << /S /GoTo /D (section.4) >> endobj 16 0 obj (Syntax and semantics) endobj 17 0 obj << /S /GoTo /D (section.5) >> endobj 20 0 obj (Application scenarios) endobj 21 0 obj << /S /GoTo /D (subsection.5.1) >> endobj 24 0 obj (Divide-and-conquer) endobj 25 0 obj << /S /GoTo /D (subsection.5.2) >> endobj 28 0 obj (Compose-and-conquer) endobj 29 0 obj << /S /GoTo /D (section.6) >> endobj 32 0 obj (Formal properties) endobj 33 0 obj << /S /GoTo /D (section.7) >> endobj 36 0 obj (Related work) endobj 37 0 obj << /S /GoTo /D (section.8) >> endobj 40 0 obj (Conclusions) endobj 41 0 obj << /S /GoTo /D [42 0 R /Fit] >> endobj 48 0 obj << /Length 2259 /Filter /FlateDecode >> stream xڍXY6~U#HfOb @
bGs7r>W0O{ftKk9T
+QSO}kz֜bp
^t8KmR*R?͓Srkphi`2ӳG0mg{9O@\+&٩wm4.܆
IvXVlʨsB~W0aHYk?wD$r%?m<@ T*pqЃf员
Um8K6Ka-U &f)PHg=Mƃx ޣRvZG)]jb*ZsTL4"\I=H