%PDF-1.6
%
1 0 obj
<<
/AcroForm 2 0 R
/Metadata 3 0 R
/Names 4 0 R
/OpenAction 5 0 R
/Outlines 6 0 R
/PageLabels <<
/Nums [0 7 0 R]
>>
/PageMode /UseOutlines
/Pages 8 0 R
/Type /Catalog
>>
endobj
9 0 obj
<<
/Author <4C75ED73204564756172646F20646520536F757A6120416D6F72696D2C2053656261737469616E204572647765672C20477569646F2057616368736D7574682C20616E642045656C636F20566973736572>
/CreationDate (D:20160917082149+02'00')
/Creator (LaTeX with hyperref package)
/Keywords (Code Completion; Language Workbenches; IDEs)
/ModDate (D:20161028140304-04'00')
/PTEX.Fullbanner (This is pdfTeX, Version 3.14159265-2.6-1.40.17 \(TeX Live 2016\) kpathsea version 6.2.2)
/Producer (pdfTeX-1.40.17)
/Subject (SLE 2016)
/Title (Principled Syntactic Code Completion using Placeholders)
/Trapped /False
>>
endobj
2 0 obj
<<
/DA (/Helv 0 Tf 0 g )
/DR <<
/Encoding <<
/PDFDocEncoding 10 0 R
>>
/Font <<
/Cour 11 0 R
/Helv 12 0 R
/ZaDb 13 0 R
>>
>>
/Fields []
>>
endobj
3 0 obj
<<
/Length 4295
/Subtype /XML
/Type /Metadata
>>
stream
application/pdf
Luís Eduardo de Souza Amorim, Sebastian Erdweg, Guido Wachsmuth, and Eelco Visser
SLE 2016
Principled Syntactic Code Completion using Placeholders
2016-09-17T08:21:49+02:00
LaTeX with hyperref package
2016-10-28T14:03:04-04:00
2016-10-28T14:03:04-04:00
Code Completion; Language Workbenches; IDEs
pdfTeX-1.40.17
False
This is pdfTeX, Version 3.14159265-2.6-1.40.17 (TeX Live 2016) kpathsea version 6.2.2
uuid:fa8a5430-2547-4bc0-ab76-9d6ec16520f4
uuid:7e713f87-9a8c-4535-ad40-c7c571be47a7
endstream
endobj
4 0 obj
<<
/Dests 14 0 R
>>
endobj
5 0 obj
<<
/D [15 0 R /Fit]
/S /GoTo
>>
endobj
6 0 obj
<<
/Count 19
/First 16 0 R
/Last 17 0 R
/Type /Outlines
>>
endobj
7 0 obj
<<
/P ()
>>
endobj
8 0 obj
<<
/Count 14
/Kids [18 0 R 19 0 R 20 0 R]
/Type /Pages
>>
endobj
10 0 obj
<<
/Differences [24 /breve /caron /circumflex /dotaccent /hungarumlaut /ogonek /ring /tilde 39
/quotesingle 96 /grave 128 /bullet /dagger /daggerdbl /ellipsis /emdash /endash
/florin /fraction /guilsinglleft /guilsinglright /minus /perthousand /quotedblbase /quotedblleft /quotedblright /quoteleft
/quoteright /quotesinglbase /trademark /fi /fl /Lslash /OE /Scaron /Ydieresis /Zcaron
/dotlessi /lslash /oe /scaron /zcaron 160 /Euro 164 /currency 166
/brokenbar 168 /dieresis /copyright /ordfeminine 172 /logicalnot /.notdef /registered /macron
/degree /plusminus /twosuperior /threesuperior /acute /mu 183 /periodcentered /cedilla /onesuperior
/ordmasculine 188 /onequarter /onehalf /threequarters 192 /Agrave /Aacute /Acircumflex /Atilde
/Adieresis /Aring /AE /Ccedilla /Egrave /Eacute /Ecircumflex /Edieresis /Igrave /Iacute
/Icircumflex /Idieresis /Eth /Ntilde /Ograve /Oacute /Ocircumflex /Otilde /Odieresis /multiply
/Oslash /Ugrave /Uacute /Ucircumflex /Udieresis /Yacute /Thorn /germandbls /agrave /aacute
/acircumflex /atilde /adieresis /aring /ae /ccedilla /egrave /eacute /ecircumflex /edieresis
/igrave /iacute /icircumflex /idieresis /eth /ntilde /ograve /oacute /ocircumflex /otilde
/odieresis /divide /oslash /ugrave /uacute /ucircumflex /udieresis /yacute /thorn /ydieresis]
/Type /Encoding
>>
endobj
11 0 obj
<<
/BaseFont /Courier
/Encoding 10 0 R
/Name /Cour
/Subtype /Type1
/Type /Font
>>
endobj
12 0 obj
<<
/BaseFont /Helvetica
/Encoding 10 0 R
/Name /Helv
/Subtype /Type1
/Type /Font
>>
endobj
13 0 obj
<<
/BaseFont /ZapfDingbats
/Name /ZaDb
/Subtype /Type1
/Type /Font
>>
endobj
14 0 obj
<<
/Kids [21 0 R 22 0 R 23 0 R]
/Limits [(Doc-Start) (theorem.4.1)]
>>
endobj
15 0 obj
<<
/Annots [24 0 R 25 0 R 26 0 R 27 0 R 28 0 R 29 0 R]
/Contents [30 0 R 31 0 R 32 0 R 33 0 R 34 0 R 35 0 R 36 0 R 37 0 R]
/CropBox [0 0 612 792]
/Group 38 0 R
/MediaBox [0 0 612 792]
/Parent 18 0 R
/Resources <<
/Font <<
/T1_0 39 0 R
/T1_1 40 0 R
/T1_2 41 0 R
/T1_3 42 0 R
/T1_4 43 0 R
>>
/ProcSet [/PDF /Text /ImageC]
/XObject <<
/Fm0 44 0 R
/Fm1 45 0 R
/Fm2 46 0 R
/Im0 47 0 R
>>
>>
/Rotate 0
/Type /Page
>>
endobj
16 0 obj
<<
/Dest [15 0 R /Fit]
/Next 48 0 R
/Parent 6 0 R
/Title (Introduction)
>>
endobj
17 0 obj
<<
/Dest [49 0 R /Fit]
/Parent 6 0 R
/Prev 50 0 R
/Title (Conclusion)
>>
endobj
18 0 obj
<<
/Count 7
/Kids [51 0 R 15 0 R 52 0 R 53 0 R 54 0 R 55 0 R 56 0 R]
/Parent 8 0 R
/Type /Pages
>>
endobj
19 0 obj
<<
/Count 6
/Kids [57 0 R 58 0 R 59 0 R 60 0 R 61 0 R 49 0 R]
/Parent 8 0 R
/Type /Pages
>>
endobj
20 0 obj
<<
/Count 1
/Kids [62 0 R]
/Parent 8 0 R
/Type /Pages
>>
endobj
21 0 obj
<<
/Kids [63 0 R 64 0 R 65 0 R 66 0 R 67 0 R 68 0 R]
/Limits [(Doc-Start) (defn.2)]
>>
endobj
22 0 obj
<<
/Kids [69 0 R 70 0 R 71 0 R 72 0 R 73 0 R 74 0 R]
/Limits [(defn.3) (section*.15)]
>>
endobj
23 0 obj
<<
/Kids [75 0 R 76 0 R 77 0 R 78 0 R 79 0 R 80 0 R]
/Limits [(section*.2) (theorem.4.1)]
>>
endobj
24 0 obj
<<
/A <<
/D (cite.AmannSANER16-local)
/S /GoTo
>>
/Border [0 0 1]
/C [0 1 0]
/H /I
/Rect [528.518 332.439 535.492 341.186]
/Subtype /Link
/Type /Annot
>>
endobj
25 0 obj
<<
/AP <<
/N 81 0 R
>>
/BS 82 0 R
/CreationDate (D:20161028140114-04'00')
/DA (9 TL /Cour 6 Tf)
/DS (font: Courier 6.0pt; text-align:left; color:#000000 )
/F 4
/IT /FreeTextTypewriter
/M (D:20161028140114-04'00')
/NM (dbbddf6c-58ba-4150-bfc4-f6c013f74a0c)
/P 15 0 R
/Rect [54.9821 129.049 69.382 141.049]
/Subj (Typewritten Text)
/Subtype /FreeText
/T (rodkin)
/Type /Annot
>>
endobj
26 0 obj
<<
/AP <<
/N 83 0 R
>>
/BS 84 0 R
/CreationDate (D:20161028140153-04'00')
/DA (9 TL /Cour 6 Tf)
/DS (font: Courier 6.0pt; text-align:left; color:#000000 )
/F 4
/IT /FreeTextTypewriter
/M (D:20161028140158-04'00')
/NM (d9b69505-b54f-4774-a7ff-9d6ad914e0be)
/P 15 0 R
/Rect [84.4367 112.03 98.8367 124.03]
/Subj (Typewritten Text)
/Subtype /FreeText
/T (rodkin)
/Type /Annot
>>
endobj
27 0 obj
<<
/AP <<
/N 85 0 R
>>
/BS 86 0 R
/Contents <5468697320776F726B206973206C6963656E73656420756E646572206120437265617469766520436F6D6D6F6E73204174747269627574696F6E200D496E7465726E6174696F6E616C20342E30204C6963656E73652E>
/CreationDate (D:20161028140200-04'00')
/DA (9 TL /Cour 6 Tf)
/DS (font: Cour 6.0pt;font-stretch:Normal; text-align:left; color:#000000 )
/F 4
/IT /FreeTextTypewriter
/M (D:20161028140207-04'00')
/NM (6a2fb925-ff13-4a84-9047-c1fff814038f)
/P 15 0 R
/RC (
This work is licensed under a Creative Commons Attribution
International 4.0 License.
)
/Rect [54.9821 124.022 263.789 140.394]
/Subj (Typewritten Text)
/Subtype /FreeText
/T (rodkin)
/Type /Annot
>>
endobj
28 0 obj
<<
/A 87 0 R
/BS <<
/S /U
/Type /Border
/W 1
>>
/Border [0 0 1]
/C [0.0 0.0 1.0]
/H /N
/Rect [55.6366 134.179 264.438 143.343]
/Subtype /Link
/Type /Annot
>>
endobj
29 0 obj
<<
/A 88 0 R
/BS <<
/S /U
/Type /Border
/W 1
>>
/Border [0 0 1]
/C [0.0 0.0 1.0]
/H /N
/Rect [53.673 125.67 144.655 133.524]
/Subtype /Link
/Type /Annot
>>
endobj
30 0 obj
<<
/Length 657
/Filter /FlateDecode
>>
stream
HdSMo0WƵc;Z@8P7K.q.<_y3"p`Vq.J]H|c:wgT69YPLs5Wt7unu*L U3c~ӌ⊖l
wTzgFOv`hLZ,`R*,S&p a46ßf-y=T2t7ҺNݩy ]oKR$-inu$'VOg+\l!qLi+¾օ۟.g;نN
ڍ7!˱9U9sJx5n$Y