%PDF-1.5
%
1 0 obj
<<
/Metadata 2 0 R
/Names 3 0 R
/OpenAction 4 0 R
/Outlines 5 0 R
/PageMode /UseOutlines
/Pages 6 0 R
/Type /Catalog
>>
endobj
7 0 obj
<<
/Author (Daniel A.A. Pelsmaeker, Hendrik van Antwerpen, Eelco Visser)
/CreationDate (D:20190626162008+02'00')
/Creator (LaTeX with lipics-v2019.cls and hyperref.sty)
/Keywords (semantics, constraint solving, Statix, name binding, editor services, reference resolution, code completion, refactoring)
/ModDate (D:20200102151646+01'00')
/PTEX.Fullbanner (This is pdfTeX, Version 3.14159265-2.6-1.40.20 \(TeX Live 2019\) kpathsea version 6.3.1)
/Producer (pdfTeX-1.40.20)
/Subject (LIPIcs, Vol.134, ECOOP 2019; Copyright \(C\), Daniel A.A. Pelsmaeker, Hendrik van Antwerpen, and Eelco Visser; licensed under Creative Commons License CC-BY)
/Title (Towards Language-Parametric Semantic Editor Services Based on Declarative Type System Specifications)
/Trapped /False
>>
endobj
2 0 obj
<<
/Length 4307
/Subtype /XML
/Type /Metadata
>>
stream
application/pdf
Daniel A.A. Pelsmaeker, Hendrik van Antwerpen, Eelco Visser
LIPIcs, Vol.134, ECOOP 2019; Copyright (C), Daniel A.A. Pelsmaeker, Hendrik van Antwerpen, and Eelco Visser; licensed under Creative Commons License CC-BY
Towards Language-Parametric Semantic Editor Services Based on Declarative Type System Specifications
2019-06-26T16:20:08+02:00
LaTeX with lipics-v2019.cls and hyperref.sty
2020-01-02T15:16:46+01:00
2020-01-02T15:16:46+01:00
semantics, constraint solving, Statix, name binding, editor services, reference resolution, code completion, refactoring
pdfTeX-1.40.20
False
This is pdfTeX, Version 3.14159265-2.6-1.40.20 (TeX Live 2019) kpathsea version 6.3.1
uuid:923b5644-123e-4e4b-8bc6-81bbb70954b3
uuid:47d67cf2-3d3c-457e-abf2-82fc660a229e
endstream
endobj
3 0 obj
<<
/Dests 8 0 R
>>
endobj
4 0 obj
<<
/D [9 0 R /Fit]
/S /GoTo
>>
endobj
5 0 obj
<<
/Count 8
/First 10 0 R
/Last 11 0 R
/Type /Outlines
>>
endobj
6 0 obj
<<
/Count 19
/Kids [12 0 R 13 0 R 14 0 R]
/Type /Pages
>>
endobj
8 0 obj
<<
/Kids [15 0 R 16 0 R 17 0 R 18 0 R]
/Limits [(Doc-Start) (section.8)]
>>
endobj
9 0 obj
<<
/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]
/Contents [33 0 R 34 0 R 35 0 R 36 0 R 37 0 R 38 0 R 39 0 R 40 0 R]
/CropBox [0 0 595.276 841.89]
/MediaBox [0 0 595.276 841.89]
/Parent 12 0 R
/Resources 41 0 R
/Rotate 0
/Type /Page
>>
endobj
10 0 obj
<<
/A 42 0 R
/Next 43 0 R
/Parent 5 0 R
/Title (Introduction)
>>
endobj
11 0 obj
<<
/A 44 0 R
/Parent 5 0 R
/Prev 45 0 R
/Title (Conclusion)
>>
endobj
12 0 obj
<<
/Count 7
/Kids [46 0 R 9 0 R 47 0 R 48 0 R 49 0 R 50 0 R 51 0 R]
/Parent 6 0 R
/Type /Pages
>>
endobj
13 0 obj
<<
/Count 6
/Kids [52 0 R 53 0 R 54 0 R 55 0 R 56 0 R 57 0 R]
/Parent 6 0 R
/Type /Pages
>>
endobj
14 0 obj
<<
/Count 6
/Kids [58 0 R 59 0 R 60 0 R 61 0 R 62 0 R 63 0 R]
/Parent 6 0 R
/Type /Pages
>>
endobj
15 0 obj
<<
/Kids [64 0 R 65 0 R 66 0 R 67 0 R 68 0 R 69 0 R]
/Limits [(Doc-Start) (lstlisting.-7)]
>>
endobj
16 0 obj
<<
/Kids [70 0 R 71 0 R 72 0 R 73 0 R 74 0 R 75 0 R]
/Limits [(lstlisting.-8) (lstnumber.-8.3)]
>>
endobj
17 0 obj
<<
/Kids [76 0 R 77 0 R 78 0 R 79 0 R 80 0 R 81 0 R]
/Limits [(lstnumber.-8.4) (section.1)]
>>
endobj
18 0 obj
<<
/Kids [82 0 R 83 0 R]
/Limits [(section.2) (section.8)]
>>
endobj
19 0 obj
<<
/A <<
/S /URI
/Type /Action
/URI (https://orcid.org/0000-0003-0196-0567)
>>
/Border [0 0 0]
/C [0 1 1]
/H /I
/Rect [237.345 682.345 248.302 693.303]
/Subtype /Link
/Type /Annot
>>
endobj
20 0 obj
<<
/A <<
/S /URI
/Type /Action
/URI (mailto:d.a.a.pelsmaeker@tudelft.nl)
>>
/Border [0 0 0]
/C [0 1 1]
/H /I
/Rect [89.712 657.189 202.376 667.102]
/Subtype /Link
/Type /Annot
>>
endobj
21 0 obj
<<
/A <<
/S /URI
/Type /Action
/URI (https://orcid.org/0000-0001-5117-0921)
>>
/Border [0 0 0]
/C [0 1 1]
/H /I
/Rect [235.983 638.067 246.941 651.35]
/Subtype /Link
/Type /Annot
>>
endobj
22 0 obj
<<
/A <<
/S /URI
/Type /Action
/URI (mailto:h.vanantwerpen@tudelft.nl)
>>
/Border [0 0 0]
/C [0 1 1]
/H /I
/Rect [89.712 615.236 199.25 625.149]
/Subtype /Link
/Type /Annot
>>
endobj
23 0 obj
<<
/A <<
/S /URI
/Type /Action
/URI (https://orcid.org/0000-0002-7384-3370)
>>
/Border [0 0 0]
/C [0 1 1]
/H /I
/Rect [166.214 598.438 177.172 609.397]
/Subtype /Link
/Type /Annot
>>
endobj
24 0 obj
<<
/A <<
/S /URI
/Type /Action
/URI (mailto:e.visser@tudelft.nl)
>>
/Border [0 0 0]
/C [0 1 1]
/H /I
/Rect [89.712 575.026 165.05 583.196]
/Subtype /Link
/Type /Annot
>>
endobj
25 0 obj
<<
/A <<
/S /URI
/Type /Action
/URI (https://doi.org/10.4230/LIPIcs.ECOOP.2019.26)
>>
/Border [0 0 0]
/C [0 1 1]
/H /I
/Rect [192.488 325.371 323.799 336.329]
/Subtype /Link
/Type /Annot
>>
endobj
26 0 obj
<<
/A <<
/D (cite.RobillardCM04)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [192.314 138.859 204.27 147.126]
/Subtype /Link
/Type /Annot
>>
endobj
27 0 obj
<<
/A <<
/D (cite.MensDBSG03)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [478.09 138.859 485.064 147.126]
/Subtype /Link
/Type /Annot
>>
endobj
28 0 obj
<<
/A <<
/D (cite.MurphyKF06)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [443.359 125.908 450.333 134.174]
/Subtype /Link
/Type /Annot
>>
endobj
29 0 obj
<<
/A <<
/S /URI
/Type /Action
/URI (https://creativecommons.org/licenses/by/3.0/)
>>
/Border [0 0 0]
/C [0 1 1]
/H /I
/Rect [89.712 95.126 131.299 103.279]
/Subtype /Link
/Type /Annot
>>
endobj
30 0 obj
<<
/A <<
/D (page.18)
/S /GoTo
>>
/Border [0 0 0]
/C [1 0 0]
/H /I
/Rect [293.083 71.216 303.018 79.369]
/Subtype /Link
/Type /Annot
>>
endobj
31 0 obj
<<
/A <<
/S /URI
/Type /Action
/URI (https://www.dagstuhl.de/lipics/)
>>
/Border [0 0 0]
/C [0 1 1]
/H /I
/Rect [157.448 63.246 328.206 71.399]
/Subtype /Link
/Type /Annot
>>
endobj
32 0 obj
<<
/A <<
/S /URI
/Type /Action
/URI (https://www.dagstuhl.de)
>>
/Border [0 0 0]
/C [0 1 1]
/H /I
/Rect [157.448 55.276 449.775 63.429]
/Subtype /Link
/Type /Annot
>>
endobj
33 0 obj
<<
/Length 496
/Filter /FlateDecode
>>
stream
HQ0,ID!RT| *IAH-D%O>|Hqu)K,w8eE#cQQ**@)(Ba*G NQΥ==ɿIM] %