%PDF-1.5
%
1 0 obj
<<
/Lang (en)
/Metadata 2 0 R
/Names 3 0 R
/OpenAction 4 0 R
/Outlines 5 0 R
/PageMode /UseOutlines
/Pages 6 0 R
/Type /Catalog
/ViewerPreferences <<
/DisplayDocTitle true
>>
>>
endobj
7 0 obj
<<
/Author (Daniel A. A. Pelsmaeker, Hendrik van Antwerpen, and Eelco Visser)
/CreationDate (D:20190926182039+02'00')
/Creator (LaTeX with acmart 2019/04/22 v1.60 Typesetting articles for the Association for Computing Machinery and hyperref 2018/02/06 v6.86b Hypertext links for LaTeX)
/Keywords (constraint programming, semantics, constraint solving, Spoofax, Statix, editor services)
/ModDate (D:20200102151527+01'00')
/PTEX.Fullbanner (This is pdfTeX, Version 3.14159265-2.6-1.40.19 \(TeX Live 2018\) kpathsea version 6.3.0)
/Producer (pdfTeX-1.40.19; modified using iText 4.2.0 by 1T3XT)
/Subject (- Software and its engineering -> Semantics.)
/Title (Towards Language-Parametric Semantic Editor Services Based on Declarative Type System Specifications)
/Trapped /False
>>
endobj
2 0 obj
<<
/Length 4324
/Subtype /XML
/Type /Metadata
>>
stream
application/pdf
Daniel A. A. Pelsmaeker, Hendrik van Antwerpen, and Eelco Visser
- Software and its engineering -> Semantics.
Towards Language-Parametric Semantic Editor Services Based on Declarative Type System Specifications
2019-09-26T18:20:39+02:00
LaTeX with acmart 2019/04/22 v1.60 Typesetting articles for the Association for Computing Machinery and hyperref 2018/02/06 v6.86b Hypertext links for LaTeX
2020-01-02T15:15:27+01:00
2020-01-02T15:15:27+01:00
constraint programming, semantics, constraint solving, Spoofax, Statix, editor services
pdfTeX-1.40.19; modified using iText 4.2.0 by 1T3XT
False
This is pdfTeX, Version 3.14159265-2.6-1.40.19 (TeX Live 2018) kpathsea version 6.3.0
uuid:e426ee7a-5243-4f9f-ba71-614079032624
uuid:133cebe7-d748-4019-9305-4ba9c7091a16
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 5
/First 10 0 R
/Last 11 0 R
/Type /Outlines
>>
endobj
6 0 obj
<<
/Count 3
/ITXT (4.2.0)
/Kids [12 0 R 9 0 R 13 0 R]
/Type /Pages
>>
endobj
8 0 obj
<<
/Kids [14 0 R 15 0 R]
/Limits [(Doc-Start) (section.3)]
>>
endobj
9 0 obj
<<
/Annots [16 0 R 17 0 R 18 0 R 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]
/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]
/MediaBox [0 0 612 792]
/Parent 6 0 R
/Resources <<
/ColorSpace 38 0 R
/ExtGState 39 0 R
/Font <<
/F141 40 0 R
/F145 41 0 R
/F146 42 0 R
/F150 43 0 R
/F161 44 0 R
/F162 45 0 R
/F171 46 0 R
/F206 47 0 R
>>
/Pattern 48 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject <<
/Xi0 49 0 R
>>
>>
/Rotate 0
/Type /Page
>>
endobj
10 0 obj
<<
/Dest [9 0 R /Fit]
/Next 50 0 R
/Parent 5 0 R
/Title (Abstract)
>>
endobj
11 0 obj
<<
/Dest [13 0 R /Fit]
/Parent 5 0 R
/Prev 51 0 R
/Title (References)
>>
endobj
12 0 obj
<<
/Contents 52 0 R
/Type /Page
/Resources <<
/Font <<
/F1 53 0 R
>>
/XObject <<
/Xf1 54 0 R
>>
>>
/Annots [55 0 R 56 0 R]
/Parent 6 0 R
/MediaBox [0 0 595 842]
>>
endobj
13 0 obj
<<
/Annots [57 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
67 0 R 68 0 R]
/Contents [69 0 R 70 0 R 71 0 R]
/CropBox [0 0 612 792]
/MediaBox [0 0 612 792]
/Parent 6 0 R
/Resources <<
/ColorSpace 38 0 R
/ExtGState 39 0 R
/Font <<
/F141 40 0 R
/F145 41 0 R
/F146 42 0 R
/F150 43 0 R
/F171 46 0 R
/F206 47 0 R
/F210 72 0 R
/F250 73 0 R
/F256 74 0 R
/F259 75 0 R
/F263 76 0 R
>>
/Pattern 48 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject <<
/Xi1 77 0 R
>>
>>
/Rotate 0
/Type /Page
>>
endobj
14 0 obj
<<
/Kids [78 0 R 79 0 R 80 0 R 81 0 R 82 0 R 83 0 R]
/Limits [(Doc-Start) (section*.2)]
>>
endobj
15 0 obj
<<
/Kids [84 0 R 85 0 R]
/Limits [(section*.3) (section.3)]
>>
endobj
16 0 obj
<<
/A <<
/D (page.2)
/S /GoTo
>>
/Border [0 0 0]
/C [1 0 0]
/H /I
/Rect [110.101 281.061 116.263 291.338]
/Subtype /Link
/Type /Annot
>>
endobj
17 0 obj
<<
/A <<
/S /URI
/Type /Action
/URI (https://doi.org/10.1145/3359061.3362782)
>>
/Border [0 0 0]
/C [0 1 1]
/H /I
/Rect [141.466 281.061 288.588 291.338]
/Subtype /Link
/Type /Annot
>>
endobj
18 0 obj
<<
/A <<
/D (cite.Bunder19)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [283.704 184.802 290.33 192.966]
/Subtype /Link
/Type /Annot
>>
endobj
19 0 obj
<<
/A <<
/S /URI
/Type /Action
/URI (https://doi.org/10.1145/3359061.3362782)
>>
/Border [0 0 0]
/C [0 1 1]
/H /I
/Rect [53.004 72.428 184 82.873]
/Subtype /Link
/Type /Annot
>>
endobj
20 0 obj
<<
/A <<
/D (cite.KeidelPE16)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [350.952 377.17 357.577 385.424]
/Subtype /Link
/Type /Annot
>>
endobj
21 0 obj
<<
/A <<
/D (cite.fixedPelsmaeker2018)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [391.5 377.17 398.125 385.424]
/Subtype /Link
/Type /Annot
>>
endobj
22 0 obj
<<
/A <<
/D (cite.LuoDB19)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [487.655 377.259 494.281 385.424]
/Subtype /Link
/Type /Annot
>>
endobj
23 0 obj
<<
/A <<
/D (cite.fixedPelsmaekerAV19)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [404.693 353.259 411.319 361.513]
/Subtype /Link
/Type /Annot
>>
endobj
24 0 obj
<<
/A <<
/D (cite.KatsV10)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [470.914 182.989 477.539 191.153]
/Subtype /Link
/Type /Annot
>>
endobj
25 0 obj
<<
/A <<
/D (cite.AntwerpenPRV18)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [362.038 147.034 368.663 155.288]
/Subtype /Link
/Type /Annot
>>
endobj
26 0 obj
<<
/A <<
/D (cite.NeronTVW15)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [539.022 123.123 545.647 131.377]
/Subtype /Link
/Type /Annot
>>
endobj
27 0 obj
<<
/A <<
/D (cite.AntwerpenNTVW16)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [548.282 123.123 554.907 131.377]
/Subtype /Link
/Type /Annot
>>
endobj
28 0 obj
<<
/A <<
/D (figure.caption.5)
/S /GoTo
>>
/Border [0 0 0]
/C [1 0 0]
/H /I
/Rect [551.577 108.932 558.295 120.12]
/Subtype /Link
/Type /Annot
>>
endobj
29 0 obj
<<
/A <<
/D (figure.caption.6)
/S /GoTo
>>
/Border [0 0 0]
/C [1 0 0]
/H /I
/Rect [345.847 85.021 352.565 96.209]
/Subtype /Link
/Type /Annot
>>
endobj
30 0 obj
<<
/Length 766
/Filter /FlateDecode
>>
stream
HUn +8R1ؾ5U6UEʶjz!5l}NvcEy?~F~y/%)Ud"b ˎ|ϖ˫Ayu>_e_],nw&}fmW]ܘ\~&Mɢ}k|ev߷&*p,1,`|Mx7mf)s1?- : pN9"@ PQ$I.̀xcfkg@(\* &
0EB3*k} PdnpG,QQ 7&rmƌ\d85/:z@f\qZʊJH~TusbE1^8
Ub
UY)vi!ok'SB&sX+M^z(
dX@_>
1`p"K"
rsfr4(ll5Ɔdonw-nnK]}7pQWʊ*eI+D*zʡ ckpwHj,"`U42ɦcKPy):K ء{e# Ui)+(Yۻn>/N{S(lҞodHѦxMWMifU2p!> "5xiZv\{7'˰
O9i-T5J<*Mϑ~ԇ ?
endstream
endobj
31 0 obj
<<
/Length 890
/Filter /FlateDecode
>>
stream
HlU[o6+z #E"-nh=pm(C"?d2DzfYe!;RxG=IOElr&E@ >;';d(("⹐8=W]CTygvBɠνѡr7hrex#P* P=.AH-WL>
*vKhPM$Aǿ07sD4hެ{R*xv!\:&ӯʿ~yDT~2Z\K..xM'`A`%e
p0}!K +uJJӇwԄEPZނ(>,yCRod(^~Hv/7zᒠ+Ru|"ρI<4 1
endstream
endobj
32 0 obj
<<
/Length 935
/Filter /FlateDecode
>>
stream
HUK6WVjƦ >ͳM7ۤ؝Lg7EeZJnI "cv{B*<
L*!e=1Jy^TMWOJ{ZC}ΤȲ48iHR276w6IjHWF9Nwii$#n=C>]} ϻ6Jpl
gzKݾéͻfNGi#~P.2PTf o2K,[ɫ4J>J|."daA)b Ns*J /|ǟ(/9"-*5REw$j|YkPisZ$'v-\oȘxr{V8E϶PnʋT$ʅ+Qj;LoD?kص61c(\"+Z圮ЫTXg}R~mTFTWf ǎ0gW"w͘b$ђꎡ#,%lfZrVjhR6FRʥgV禬HUPU+$'ORSyLJx˕a~Q+5$~ICS谙q;xw3I=57aAmA~ d&r7a|'MgLPd89C?rqyp2rhſdY"$$SU40:<iX${Ti8g;7)}t.22HHUT{:1O8[6T)<u2ݞ
Q#)H:>7 ׀zR]Ɔ퇃D_]^]x[d$ >oX. ^Dk
endstream
endobj
33 0 obj
<<
/Length 906
/Filter /FlateDecode
>>
stream
HUK6WVX|S
fGӴIesJ-%">C+
^po|&| "' s9ڀ|$V[-qp\eh"lθ#ێ|kDZ:]РnTQTa?͈~S9LI\㌱K툚Gwu!pəY֙0>9FюVr7L|A!Fu?Ir9!#b6֥ pVzM1_c4H1=NC{~g( +5bv|5!xƚA>(G<-ĂDLpڔ1gTH&p4sl9U0A03ڞaƟOC?Lc/Df^$ s&E)P8=oz8p6'& 9އn80}Dw<9!x5ӀTN &My<èwPtAމťȲ@
j@=@>5_Dqҧj)Y;6WcڼùkWI\083#^Xh_5Xt?vQ1V`Uz4~}'J3iUfBfj#
$`V@fȑr=<dž/;ä+.
j}RV0t8\_oW) КkVA/f:z54d_ 9duQIP [0yLz[
}MxAnS-ا,9o%4"\.`:}FٳnO W)"WQ>cEZʹ5?/! Ŷo
endstream
endobj
34 0 obj
<<
/Length 531
/Filter /FlateDecode
>>
stream
HU]0}c
6f5^Q7AU
Wd]J,L4̙{Yuza1uwC E&ԴU;`jڨWzZPCJ%~@4qV_f\=#)L:a9uxc;kr*g"wr`lB|3fu=xL6T%xGOb#VԈV ~yBURMoO[c\eyy
͕ EUYp2MA
$" X+x34 9Ȥp`p-9aIa] dF~9DyՆ.3-d4[m
~< pzz}S n~%c]ic3{/juWAXSFR_
Nx
pȍ|H8jYp_A?Z#5+HDYA2+Pf ,9%A[8,q0HˉAQ- +L
endstream
endobj
35 0 obj
<<
/Length 782
/Filter /FlateDecode
>>
stream
HUKo0W fܺ<[I&vGGv")"?>26adE:01t$# ZK2_!e #Rs'EtQ.|Ab>OgZˀy3.MEjhR
21!](bLP)qC4Xu4@pe#2Ȑј)K 95%-82jrqH߶i[<">4Uqbh*3w
h( ~H(C!}v?dĎ2R2ba^wd@r5h~wWf-K2GbuAj4dFI P`N7UJdt(h䞌gLF(q=5U0!ڋ3|c!XN#/=BM.PL2IV||3&ihɓ1UهP-v'ThMtPO]}XȬ۴O(~,ۺghqq@0aˍ zBI
s]ᾨe {ϰw+
{)60ǂ9s\UNWJY'[ X>.Y orT$CJVi) m
g:FQ6hki([fUP Ry9"BL6