%PDF-1.3
%
1 0 obj
<<
/Metadata 2 0 R
/PageMode /UseOutlines
/Outlines 3 0 R
/PageLabels 4 0 R
/Pages 5 0 R
/Lang ()
/OpenAction [6 0 R /FitH 800]
/Type /Catalog
/Names 7 0 R
>>
endobj
8 0 obj
<<
/Subject ()
/ModDate (D:20210415114745+00'00')
/Author ()
/Title ()
/Keywords ()
/Producer (Acrobat Distiller 7.0 \(Windows\))
/Creator (LaTeX with hyperref package)
/CreationDate (D:20210414181412+05'30')
>>
endobj
2 0 obj
<<
/Type /Metadata
/Subtype /XML
/Length 2098
>>
stream
Acrobat Distiller 7.0 (Windows)
LaTeX with hyperref package
2021-04-14T18:14:12+05:01
2021-04-14T18:14:39+05:01
2021-04-15T11:47:45+00:00
application/pdf
Downloaded from https://www.cambridge.org/core. IP address: 80.208.70.199, on 15 Apr 2021 at 11:47:45, subject to the Cambridge Core terms of use, available at https://www.cambridge.org/core/terms.
Not for further distribution unless allowed by the License or with the express written permission of Cambridge University Press.
https://doi.org/10.1017/S095679682100006X
uuid:ca481662-cc32-4c10-8451-acbde4c7e3df
uuid:8c1e4d23-0ee9-4d12-bbbd-5ac0ac9d5263
endstream
endobj
3 0 obj
<<
/Count 42
/First 9 0 R
/Last 9 0 R
>>
endobj
4 0 obj
<<
/Nums [0 10 0 R]
>>
endobj
5 0 obj
<<
/Count 75
/Type /Pages
/Kids [11 0 R 12 0 R 13 0 R 14 0 R 15 0 R 16 0 R 17 0 R 18 0 R]
>>
endobj
6 0 obj
<<
/CropBox [0 0 493.151 700.075]
/MediaBox [0 0 493.151 700.075]
/Rotate 0
/Annots [19 0 R 20 0 R 21 0 R 22 0 R 23 0 R 24 0 R 25 0 R 26 0 R 27 0 R 28 0 R
29 0 R 30 0 R 31 0 R 32 0 R 33 0 R 34 0 R 35 0 R 36 0 R 37 0 R 38 0 R
39 0 R 40 0 R 41 0 R]
/Resources 42 0 R
/Parent 11 0 R
/Contents [43 0 R 44 0 R 45 0 R 46 0 R 47 0 R 48 0 R 49 0 R 50 0 R 51 0 R 52 0 R
53 0 R 54 0 R]
/Type /Page
>>
endobj
7 0 obj
<<
/Dests 55 0 R
>>
endobj
9 0 obj
<<
/First 56 0 R
/Dest (HLtitle.0)
/Title (StkTokens: Enforcing well-bracketed control flow and stack encapsulation using linear capabilities)
/Parent 3 0 R
/Last 57 0 R
/Count 41
>>
endobj
10 0 obj
<<
/S /D
>>
endobj
11 0 obj
<<
/Parent 5 0 R
/Count 10
/Type /Pages
/Kids [6 0 R 58 0 R 59 0 R 60 0 R 61 0 R 62 0 R 63 0 R 64 0 R 65 0 R 66 0 R]
>>
endobj
12 0 obj
<<
/Parent 5 0 R
/Count 10
/Type /Pages
/Kids [67 0 R 68 0 R 69 0 R 70 0 R 71 0 R 72 0 R 73 0 R 74 0 R 75 0 R 76 0 R]
>>
endobj
13 0 obj
<<
/Parent 5 0 R
/Count 10
/Type /Pages
/Kids [77 0 R 78 0 R 79 0 R 80 0 R 81 0 R 82 0 R 83 0 R 84 0 R 85 0 R 86 0 R]
>>
endobj
14 0 obj
<<
/Parent 5 0 R
/Count 10
/Type /Pages
/Kids [87 0 R 88 0 R 89 0 R 90 0 R 91 0 R 92 0 R 93 0 R 94 0 R 95 0 R 96 0 R]
>>
endobj
15 0 obj
<<
/Parent 5 0 R
/Count 10
/Type /Pages
/Kids [97 0 R 98 0 R 99 0 R 100 0 R 101 0 R 102 0 R 103 0 R 104 0 R 105 0 R 106 0 R]
>>
endobj
16 0 obj
<<
/Parent 5 0 R
/Count 10
/Type /Pages
/Kids [107 0 R 108 0 R 109 0 R 110 0 R 111 0 R 112 0 R 113 0 R 114 0 R 115 0 R 116 0 R]
>>
endobj
17 0 obj
<<
/Parent 5 0 R
/Count 10
/Type /Pages
/Kids [117 0 R 118 0 R 119 0 R 120 0 R 121 0 R 122 0 R 123 0 R 124 0 R 125 0 R 126 0 R]
>>
endobj
18 0 obj
<<
/Parent 5 0 R
/Count 5
/Type /Pages
/Kids [127 0 R 128 0 R 129 0 R 130 0 R 131 0 R]
>>
endobj
19 0 obj
<<
/Rect [70.077 651.135 164.004 658.302]
/Subtype /Link
/A <<
/S /URI
/URI (https://doi.org/10.1017/S095679682100006X)
>>
/C [0 1 1]
/Border [0 0 0]
/H /I
/Type /Annot
>>
endobj
20 0 obj
<<
/Rect [193.035 514.452 309.237 523.086]
/Subtype /Link
/A <<
/S /URI
/URI (mailto:lau.skorstengaard@gmail.com)
>>
/C [0 1 1]
/Border [0 0 0]
/H /I
/Type /Annot
>>
endobj
21 0 obj
<<
/Rect [296.976 496.299 307.977 507.291]
/Subtype /Link
/A <<
/S /URI
/URI (https://orcid.org/0000-0002-3862-6856)
>>
/C [0 1 1]
/Border [0 0 0]
/H /I
/Type /Annot
>>
endobj
22 0 obj
<<
/Rect [197.274 471.612 305.016 480.246]
/Subtype /Link
/A <<
/S /URI
/URI (mailto:dominique.devriese@vub.be)
>>
/C [0 1 1]
/Border [0 0 0]
/H /I
/Type /Annot
>>
endobj
23 0 obj
<<
/Rect [214.203 430.545 288.105 437.406]
/Subtype /Link
/A <<
/S /URI
/URI (mailto:birkedal@cs.au.dk)
>>
/C [0 1 1]
/Border [0 0 0]
/H /I
/Type /Annot
>>
endobj
24 0 obj
<<
/Rect [309.504 247.08 353.961 259.035]
/Dest (cite.new_universal_embedding_2016)
/Subtype /Link
/Border [0 0 0]
/C [0 1 0]
/H /I
/Type /Annot
>>
endobj
25 0 obj
<<
/Rect [359.067 247.08 379.971 259.035]
/Dest (cite.new_universal_embedding_2016)
/Subtype /Link
/Border [0 0 0]
/C [0 1 0]
/H /I
/Type /Annot
>>
endobj
26 0 obj
<<
/Rect [79.326 246.084 385.365 247.08]
/Dest (cite.juglaret_beyond_2016)
/Subtype /Link
/Border [0 0 0]
/C [0 1 0]
/H /I
/Type /Annot
>>
endobj
27 0 obj
<<
/Rect [83.262 234.129 104.166 246.084]
/Dest (cite.juglaret_beyond_2016)
/Subtype /Link
/Border [0 0 0]
/C [0 1 0]
/H /I
/Type /Annot
>>
endobj
28 0 obj
<<
/Rect [108.399 234.129 167.121 246.084]
/Dest (cite.devriese_modular_2017)
/Subtype /Link
/Border [0 0 0]
/C [0 1 0]
/H /I
/Type /Annot
>>
endobj
29 0 obj
<<
/Rect [171.057 234.129 191.961 246.084]
/Dest (cite.devriese_modular_2017)
/Subtype /Link
/Border [0 0 0]
/C [0 1 0]
/H /I
/Type /Annot
>>
endobj
30 0 obj
<<
/Rect [196.194 234.129 270.693 246.084]
/Dest (cite.patrignani_hyper_2017)
/Subtype /Link
/Border [0 0 0]
/C [0 1 0]
/H /I
/Type /Annot
>>
endobj
31 0 obj
<<
/Rect [274.638 234.129 295.542 246.084]
/Dest (cite.patrignani_hyper_2017)
/Subtype /Link
/Border [0 0 0]
/C [0 1 0]
/H /I
/Type /Annot
>>
endobj
32 0 obj
<<
/Rect [299.775 234.129 346.878 246.084]
/Dest (cite.Abate:2018:GCG:3243734.3243745)
/Subtype /Link
/Border [0 0 0]
/C [0 1 0]
/H /I
/Type /Annot
>>
endobj
33 0 obj
<<
/Rect [350.814 234.129 371.718 246.084]
/Dest (cite.Abate:2018:GCG:3243734.3243745)
/Subtype /Link
/Border [0 0 0]
/C [0 1 0]
/H /I
/Type /Annot
>>
endobj
34 0 obj
<<
/Rect [80.334 233.133 375.951 234.129]
/Dest (cite.patrignani_2019)
/Subtype /Link
/Border [0 0 0]
/C [0 1 0]
/H /I
/Type /Annot
>>
endobj
35 0 obj
<<
/Rect [85.278 221.178 106.182 233.133]
/Dest (cite.patrignani_2019)
/Subtype /Link
/Border [0 0 0]
/C [0 1 0]
/H /I
/Type /Annot
>>
endobj
36 0 obj
<<
/Rect [111.423 221.178 163.314 233.133]
/Dest (cite.barthe_formal_2019)
/Subtype /Link
/Border [0 0 0]
/C [0 1 0]
/H /I
/Type /Annot
>>
endobj
37 0 obj
<<
/Rect [168.258 221.178 189.162 233.133]
/Dest (cite.barthe_formal_2019)
/Subtype /Link
/Border [0 0 0]
/C [0 1 0]
/H /I
/Type /Annot
>>
endobj
38 0 obj
<<
/Type /Annot
/Subtype /Link
/Rect [433.8359 8.0 483.151 26.967348]
/Border [0 0 0]
/A 132 0 R
>>
endobj
39 0 obj
<<
/Type /Annot
/Subtype /Link
/Rect [63.81 15.849609 175.332 23.774414]
/Border [0 0 0]
/A 133 0 R
>>
endobj
40 0 obj
<<
/Type /Annot
/Subtype /Link
/Rect [178.5 15.849609 304.404 23.774414]
/Border [0 0 0]
/A 134 0 R
>>
endobj
41 0 obj
<<
/Type /Annot
/Subtype /Link
/Rect [69.804 23.774414 162.582 31.699219]
/Border [0 0 0]
/A 135 0 R
>>
endobj
42 0 obj
<<
/ProcSet [/PDF /Text]
/ExtGState <<
/GS1 136 0 R
>>
/Font <<
/F1 137 0 R
/F2 138 0 R
/F3 139 0 R
/F4 140 0 R
/F5 141 0 R
/F6 142 0 R
>>
/Properties <<
/MC1 143 0 R
>>
/ColorSpace <<
/Cs6 [/ICCBased 144 0 R]
>>
/XObject 145 0 R
>>
endobj
43 0 obj
<<
/Filter /FlateDecode
/Length 10
>>
stream
x+ |
endstream
endobj
44 0 obj
<<
/Filter /FlateDecode
/Length 10
>>
stream
x+ |
endstream
endobj
45 0 obj
<<
/Filter /FlateDecode
/Length 612
>>
stream
HtSN@ڷ|w2";K,SV_cJibbR<$8爯U<%2-~c s`4&)
L%D0ΜsypCP9Z{uXLrUϙ`4qLH! Iǜt*aBaˇ!)ұpoMGn-3 ,Xtt?ocGYu{.#g rL@=.ALweHFrf!X k]ӱvoΝ6֙\ 1,sR1va9b0r!tIeb][Z7iܐl̂B.&|埖`pKs%?(G(ݺn9}6[eRЯ o&1%0K~n|-c.IihUߴЬ-bͿK6]]H#vQ>mn
1pyÏ5Od8G'a@Üq)9Mj%UMկcQ w
a
endstream
endobj
46 0 obj
<<
/Filter /FlateDecode
/Length 560
>>
stream
HlRM@ϯc*3'JEZBmZ튿g&Iy?;%QI_Ted݉_V(9mJmL9=G!P9ty(w[Dme+?YzA&8aҸؔ]ۿ6g'sR=E
$ytlۦ9~=vbV(Cg1+^KO