%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
/PageMode /UseOutlines
/Pages 7 0 R
/Type /Catalog
>>
endobj
8 0 obj
<<
/Author (Vlad Vergu, Michiel Haisma, and Eelco Visser)
/CreationDate (D:20171002143255+03'00')
/Creator (LaTeX with hyperref package)
/Keywords (object orientation, name resolution, dynamic semantics)
/ModDate (D:20171023110614-04'00')
/PTEX.Fullbanner (This is pdfTeX, Version 3.14159265-2.6-1.40.18 \(TeX Live 2017\) kpathsea version 6.2.3)
/Producer (pdfTeX-1.40.18)
/Subject (- Software and its engineering -> Classes and objects; Semantics; )
/Title (The Semantics of Name Resolution in Grace)
/Trapped /False
>>
endobj
2 0 obj
<<
/DA (/Helv 0 Tf 0 g )
/DR <<
/Encoding <<
/PDFDocEncoding 9 0 R
>>
/Font <<
/Cour 10 0 R
/Helv 11 0 R
/ZaDb 12 0 R
>>
>>
/Fields []
>>
endobj
3 0 obj
<<
/Length 4316
/Subtype /XML
/Type /Metadata
>>
stream
application/pdf
Vlad Vergu, Michiel Haisma, and Eelco Visser
- Software and its engineering -> Classes and objects; Semantics;
The Semantics of Name Resolution in Grace
2017-10-02T14:32:55+03:00
LaTeX with hyperref package
2017-10-23T11:06:14-04:00
2017-10-23T11:06:14-04:00
object orientation, name resolution, dynamic semantics
pdfTeX-1.40.18
False
This is pdfTeX, Version 3.14159265-2.6-1.40.18 (TeX Live 2017) kpathsea version 6.2.3
uuid:33802f7b-2e30-4240-87a3-6ccec6a06b95
uuid:ec10c8a3-092d-4e00-a205-4cdf6e651812
endstream
endobj
4 0 obj
<<
/Dests 13 0 R
>>
endobj
5 0 obj
<<
/D [14 0 R /Fit]
/S /GoTo
>>
endobj
6 0 obj
<<
/Count 13
/First 15 0 R
/Last 16 0 R
/Type /Outlines
>>
endobj
7 0 obj
<<
/Count 13
/Kids [17 0 R 18 0 R]
/Type /Pages
>>
endobj
9 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
10 0 obj
<<
/BaseFont /Courier
/Encoding 9 0 R
/Name /Cour
/Subtype /Type1
/Type /Font
>>
endobj
11 0 obj
<<
/BaseFont /Helvetica
/Encoding 9 0 R
/Name /Helv
/Subtype /Type1
/Type /Font
>>
endobj
12 0 obj
<<
/BaseFont /ZapfDingbats
/Name /ZaDb
/Subtype /Type1
/Type /Font
>>
endobj
13 0 obj
<<
/Kids [19 0 R 20 0 R]
/Limits [(Doc-Start) (subsection.4.4)]
>>
endobj
14 0 obj
<<
/Annots [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 42 0 R 43 0 R 44 0 R 45 0 R 46 0 R 47 0 R]
/Contents [48 0 R 49 0 R 50 0 R 51 0 R 52 0 R 53 0 R 54 0 R 55 0 R]
/CropBox [0 0 612 792]
/MediaBox [0 0 612 792]
/Parent 17 0 R
/Resources <<
/Font <<
/T1_0 56 0 R
/T1_1 57 0 R
/T1_2 58 0 R
/T1_3 59 0 R
/T1_4 60 0 R
/T1_5 61 0 R
>>
/ProcSet [/PDF /Text /ImageC]
/XObject <<
/Fm0 62 0 R
/Im0 63 0 R
>>
>>
/Rotate 0
/Type /Page
>>
endobj
15 0 obj
<<
/Dest [14 0 R /Fit]
/Next 64 0 R
/Parent 6 0 R
/Title (Abstract)
>>
endobj
16 0 obj
<<
/Dest [65 0 R /Fit]
/Parent 6 0 R
/Prev 66 0 R
/Title (References)
>>
endobj
17 0 obj
<<
/Count 7
/Kids [67 0 R 14 0 R 68 0 R 69 0 R 70 0 R 71 0 R 72 0 R]
/Parent 7 0 R
/Type /Pages
>>
endobj
18 0 obj
<<
/Count 6
/Kids [73 0 R 74 0 R 75 0 R 76 0 R 77 0 R 65 0 R]
/Parent 7 0 R
/Type /Pages
>>
endobj
19 0 obj
<<
/Kids [78 0 R 79 0 R 80 0 R 81 0 R 82 0 R 83 0 R]
/Limits [(Doc-Start) (lstnumber.-3.3)]
>>
endobj
20 0 obj
<<
/Kids [84 0 R 85 0 R 86 0 R 87 0 R 88 0 R]
/Limits [(lstnumber.-3.4) (subsection.4.4)]
>>
endobj
21 0 obj
<<
/A <<
/D (page.12)
/S /GoTo
>>
/Border [0 0 0]
/C [1 0 0]
/H /I
/Rect [147.307 377.522 157.472 387.8]
/Subtype /Link
/Type /Annot
>>
endobj
22 0 obj
<<
/A <<
/S /URI
/Type /Action
/URI (https://doi.org/10.1145/3133841.3133847)
>>
/Border [0 0 0]
/C [0 1 1]
/H /I
/Rect [180.804 377.522 295.041 387.8]
/Subtype /Link
/Type /Annot
>>
endobj
23 0 obj
<<
/A <<
/S /URI
/Type /Action
/URI (https://doi.org/10.1145/3133841.3133847)
>>
/Border [0 0 0]
/C [0 1 1]
/H /I
/Rect [53.004 368.579 84.182 376.177]
/Subtype /Link
/Type /Annot
>>
endobj
24 0 obj
<<
/A <<
/D (cite.BaumeisterGHR87)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [106.598 245.711 113.223 253.875]
/Subtype /Link
/Type /Annot
>>
endobj
25 0 obj
<<
/A <<
/D (cite.UngarS87)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [139.694 245.621 150.952 253.875]
/Subtype /Link
/Type /Annot
>>
endobj
26 0 obj
<<
/A <<
/D (cite.bracha2017newspeak)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [203.901 245.621 210.526 253.875]
/Subtype /Link
/Type /Annot
>>
endobj
27 0 obj
<<
/A <<
/D (cite.JLS8)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [254.089 245.621 265.347 253.875]
/Subtype /Link
/Type /Annot
>>
endobj
28 0 obj
<<
/A <<
/D (cite.BlackBHN12)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [196.075 197.89 202.7 206.054]
/Subtype /Link
/Type /Annot
>>
endobj
29 0 obj
<<
/A <<
/D (cite.homer2013modules)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [205.369 197.8 216.627 206.054]
/Subtype /Link
/Type /Annot
>>
endobj
30 0 obj
<<
/A <<
/D (cite.HomerNBBP12)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [219.297 197.8 230.555 206.054]
/Subtype /Link
/Type /Annot
>>
endobj
31 0 obj
<<
/A <<
/S /URI
/Type /Action
/URI (https://doi.org/10.1145/3133841.3133847)
>>
/Border [0 0 0]
/C [0 1 1]
/H /I
/Rect [53.004 72.667 184 83.112]
/Subtype /Link
/Type /Annot
>>
endobj
32 0 obj
<<
/A <<
/D (cite.bracha2017newspeak)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [378.398 288.041 385.023 296.295]
/Subtype /Link
/Type /Annot
>>
endobj
33 0 obj
<<
/A <<
/D (cite.UngarS87)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [387.726 288.041 398.984 296.295]
/Subtype /Link
/Type /Annot
>>
endobj
34 0 obj
<<
/A <<
/D (cite.Wolczko87)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [353.617 276.086 364.875 284.34]
/Subtype /Link
/Type /Annot
>>
endobj
35 0 obj
<<
/A <<
/D (cite.RosuS10)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [363.379 264.131 374.637 272.385]
/Subtype /Link
/Type /Annot
>>
endobj
36 0 obj
<<
/A <<
/D (cite.BogdanasR15)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [401.778 264.131 408.403 272.385]
/Subtype /Link
/Type /Annot
>>
endobj
37 0 obj
<<
/A <<
/S /URI
/Type /Action
/URI (https://github.com/ MetaBorgCube/metaborg-grace/tree/dls17)
>>
/Border [0 0 0]
/C [0 1 1]
/H /I
/Rect [477.531 202.109 558.996 213.307]
/Subtype /Link
/Type /Annot
>>
endobj
38 0 obj
<<
/A <<
/S /URI
/Type /Action
/URI (https://github.com/ MetaBorgCube/metaborg-grace/tree/dls17)
>>
/Border [0 0 0]
/C [0 1 1]
/H /I
/Rect [316.959 190.154 495.58 201.352]
/Subtype /Link
/Type /Annot
>>
endobj
39 0 obj
<<
/A <<
/D (cite.NeronTVW15)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [425.837 144.579 437.095 152.833]
/Subtype /Link
/Type /Annot
>>
endobj
40 0 obj
<<
/A <<
/D (cite.AntwerpenNTVW16)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [439.752 144.579 451.01 152.833]
/Subtype /Link
/Type /Annot
>>
endobj
41 0 obj
<<
/A <<
/D (cite.KatsV10)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [368.306 120.669 379.564 128.923]
/Subtype /Link
/Type /Annot
>>
endobj
42 0 obj
<<
/A <<
/D (cite.VisserOnward14)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [382.254 120.669 393.512 128.923]
/Subtype /Link
/Type /Annot
>>
endobj
43 0 obj
<<
/A <<
/D (figure.caption.5)
/S /GoTo
>>
/Border [0 0 0]
/C [1 0 0]
/H /I
/Rect [356.278 106.477 362.996 117.665]
/Subtype /Link
/Type /Annot
>>
endobj
44 0 obj
<<
/A <<
/D (cite.VollebregtKV12)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [432.172 96.759 443.43 105.013]
/Subtype /Link
/Type /Annot
>>
endobj
45 0 obj
<<
/AP <<
/N 89 0 R
>>
/BS 90 0 R
/Contents <5468697320776F726B206973206C6963656E73656420756E646572206120437265617469766520436F6D6D6F6E73200D4174747269627574696F6E2D4E6F6E436F6D6D65726369616C2D5368617265416C696B6520496E7465726E6174696F6E616C20342E30204C6963656E73652E>
/CreationDate (D:20171023110412-04'00')
/DA (7.5 TL /Cour 6 Tf)
/DS (font: Cour 6.0pt;font-stretch:Normal; text-align:left; color:#000000 )
/F 4
/IT /FreeTextTypewriter
/M (D:20171023110430-04'00')
/NM (60f1b322-e09c-451c-9b1e-bff15435d406)
/P 14 0 R
/RC (
This work is licensed under a Creative Commons
Attribution-NonCommercial-ShareAlike International 4.0 License.
)
/Rect [56.2912 134.686 283.098 149.558]
/Subj (Typewritten Text)
/Subtype /FreeText
/T (rodkin)
/Type /Annot
>>
endobj
46 0 obj
<<
/A 91 0 R
/BS <<
/S /U
/Type /Border
/W 1
>>
/Border [0 0 1]
/C [0.0 0.0 1.0]
/H /N
/Rect [56.9457 143.997 221.237 151.852]
/Subtype /Link
/Type /Annot
>>
endobj
47 0 obj
<<
/A 92 0 R
/BS <<
/S /U
/Type /Border
/W 1
>>
/Border [0 0 1]
/C [0.0 0.0 1.0]
/H /N
/Rect [56.9457 135.488 280.147 142.688]
/Subtype /Link
/Type /Annot
>>
endobj
48 0 obj
<<
/Length 766
/Filter /FlateDecode
>>
stream
HUKo0WF"c;/VD`)f]QN%=n.hΌ}\ذ4ulvRFO6ۋofW45:ZWjřiDZlއ|,aȪXIY'9g{ELTݲDFebY^4t~9 m+zոi1M^[CVɔ( -[EI<Ϻ!Tc#wA MrF
&p]v2=i!=%($辝b#z>"TӖ%;Frӥj2݁]qQRpOX!}yk;a:cIU&5 n+[G9*(4L;jR;6=;q?MݬuW) *Y bC4&E&<
/V&^'ӯ"^n<1Mp2|IT0=(hBq΄-;hսws@z@z5FPLP5x
/tķTy~@PMit]saG >*f
KՌ`M?ΏWp=a:-}T@0x~(+R}B$"k16`N+ns} C3cSSc}#8 KƀM/X?Ƹ<7o _A
endstream
endobj
49 0 obj
<<
/Length 843
/Filter /FlateDecode
>>
stream
HTێ6}W9IJ6MY@-
Lt1,9IVS4!g朹TEDDqEΓY|"!rbfp]k4"'mL;Myٻ>Z\Ǵ lFiQiN4;0B(|@P<3-%1!PkTBdg\!g~fh6c>dP95694,%Z$%T$&ZtNVF9}S{vA8/QT|"yxנ5q!hlstZX(S\&J\ഄrM_8HLI!\%Cb抑Xbx%?^0ūgg3>_SB`g"/Xi^jք$8E`1=n5wifݾm/)\G͒ i
RG|d!rcc73go h0:5cmB!%yL-;|gxŸ1e$?zyQGrLuwq(¥XQ4xF"$f>9g7 S/+=W+O&7O\&>:BQBEf!J6 V&3c{YEI֯Mظ]NMv-#cۄݝ_ Sg@ҺЉ(㤈"8+`(ɿNQ)5ooBDNqG/RS\qVfnQҢC(|乤<^qGCfvvIj)@BB# >
endstream
endobj
50 0 obj
<<
/Length 769
/Filter /FlateDecode
>>
stream
HUMo0W(/6`vYnY1VO(
JG>>1npӦ(>BQ)D9c:?5uExg
mJ 9eL,p%׀%_G3Z Fq;OPv~=8w-1è:'}01TAfߚ5*FGI:G?Ï&Ga2
tۚuL)0:^$Q+L"` b] 1zu.lұt@Dl:)o=43?^[kP
^2yE~͂Y!]o7Ryaa´uhaIit!DE§M*Q1Z*dM@`g#(yk&tkBǼ!C4$6Rq:xeAj(M(9vv/s4LG;bt+q&2ka3)`15xeCȼa[m",e'8h
UI+)3"͒˜*D<%7 twЧK^SMUo ї 5U`E+XCQ;K?EAY]\[\-x~[+EAmxIMнT*gfy6l3}Jch7N>֙i1bYoFa3͗oSZ9NAQûQ5Oqߺ0DIUb>.pN#?]g i
endstream
endobj
51 0 obj
<<
/Length 884
/Filter /FlateDecode
>>
stream
HUK6W%RnͶi&m\;ZjpEy7wI@ ><>Q&*.b2i99IUaDok.9l @&^οemmvlY$5=%6rf%5+Ypj|t>ԅF>7Vyb3;LPi$AGBmdf5(_QﯲSHWoDVY)sl`,sU&U}T
jQ]7^rg4zD+yyBy
AjBU)kgp4Rtñwt߱l2ѩ
4XC(?)ck͑OqDH
rFDfۇngF+0_O2 A*O80f:=Rsk~m9g-.i$FՄ,ŏ2S}ȍ011y-,D0=-iUwOR#U qZ˺$/o|T*Yj6`6X)Û" 3u)~!m6iS Bor e=-k"Z`3Kˊ+[ V`m3wev1] IƊ6{,4t<_]|n%VȺPmۥ;_3LL?iEǎVh&KwWaPź^D:;wӉ*vkdjц79}N<}4eLr(\@v㞿p~{"p̾mGps?D/Yrxf|s~-
Nu*
0 xv
endstream
endobj
52 0 obj
<<
/Length 769
/Filter /FlateDecode
>>
stream
HtU W;
ccNSfz@l6MM+!H I=)㧧̞~l`dq둶j(٬&MGK0zc4t+veq;)/zw P9cL0lُ /:eHakׅokq
:
FL1]sQtUС%[/ij0rƽdXyu%q Șh,bN 4䥼WBA`UmVf>笝vWLLl5/ /r})k67Q̃^Ws$[]xOaQMӣ#E/+I
WDYU
;Rb4p&dtkX2>j/[ugKQS
uD1
:ՁjV)h|z=mV7qWe$AčdߢOپeN%Ȫmi%Febkx["gzPo&QU7jS+s ea{6`Sw