%PDF-1.3
5 0 obj
<< /S /GoTo /D (section.1.1) >>
endobj
8 0 obj
(Introduction)
endobj
9 0 obj
<< /S /GoTo /D (section.1.2) >>
endobj
12 0 obj
(Notation)
endobj
13 0 obj
<< /S /GoTo /D (section.1.3) >>
endobj
16 0 obj
(Attribute structures and systems)
endobj
17 0 obj
<< /S /GoTo /D (section.1.4) >>
endobj
20 0 obj
(Interpreting first-order languages into system states)
endobj
21 0 obj
<< /S /GoTo /D (section.1.5) >>
endobj
24 0 obj
(A family of diagrammatic natural deduction languages)
endobj
25 0 obj
<< /S /GoTo /D (subsection.1.5.1) >>
endobj
28 0 obj
(Abstract syntax)
endobj
29 0 obj
<< /S /GoTo /D (subsection.1.5.2) >>
endobj
32 0 obj
(Evaluation semantics)
endobj
33 0 obj
<< /S /GoTo /D (section.1.6) >>
endobj
36 0 obj
(Representing arbitrary graphs)
endobj
37 0 obj
<< /S /GoTo /D (section.1.7) >>
endobj
40 0 obj
(Another example: the Mergesort puzzle)
endobj
41 0 obj
<< /S /GoTo /D (subsection.1.7.1) >>
endobj
44 0 obj
(Guessing the input of Mergesort)
endobj
45 0 obj
<< /S /GoTo /D (subsection.1.7.2) >>
endobj
48 0 obj
(Formalizing the puzzle as a Vivid system)
endobj
49 0 obj
<< /S /GoTo /D (section*.2) >>
endobj
52 0 obj
(Specifying the attribute structure)
endobj
53 0 obj
<< /S /GoTo /D (section*.3) >>
endobj
56 0 obj
(Specifying the vocabulary)
endobj
57 0 obj
<< /S /GoTo /D (section*.4) >>
endobj
60 0 obj
(Specifying the interpretation)
endobj
61 0 obj
<< /S /GoTo /D (subsection.1.7.3) >>
endobj
64 0 obj
(The formal proof)
endobj
65 0 obj
<< /S /GoTo /D (section.1.8) >>
endobj
68 0 obj
(Related Work)
endobj
69 0 obj
<< /S /GoTo /D (section.1.9) >>
endobj
72 0 obj
(Conclusions)
endobj
73 0 obj
<< /S /GoTo /D [74 0 R /Fit ] >>
endobj
76 0 obj <<
/Length 524
/Filter /FlateDecode
>>
stream
xڍTK0Wpq=csk//zpX# [w6tӇ8Ǟ}3c A9$%$I73xv>"0*p}pK 1J"_=A"s͞ al7d2\0N6Usvjܶ{2srl+SҹEJhT_nG-S5n'H
rІ v[ga@d|d(߇2]L_ Hz~,TUܶxOöcD"8D$6]kuNX}Z>Vt\т^7yh1B6;g_T}5!>6yMG%<FkLjY**֧^ֹBj;`Ɣ О8O_un3]qBYVWF'FQ:7#O)MPpy*AN
-t}Tm~n4g CDU/> endobj
77 0 obj <<
/D [74 0 R /XYZ 55.381 726.656 null]
>> endobj
78 0 obj <<
/D [74 0 R /XYZ 55.381 716.694 null]
>> endobj
75 0 obj <<
/Font << /F43 80 0 R /F44 82 0 R /F27 85 0 R /F45 87 0 R >>
/ProcSet [ /PDF /Text ]
>> endobj
91 0 obj <<
/Length 4567
/Filter /FlateDecode
>>
stream
xڍZٲq}_qF4!rD5mIC~`5x\
;ATeU*c74H$N^{=^|x)O
nT//~Q~|
=t~-;A2u
.z9W>qO<3TDˡܴ%?x^Փx'JɈ&̗oREѬ|etZᰯa|iya9Z4Ng˯zpTlzd%O?vL_XHk9mmڢc3CS1:ĘөQ2s\E6.qBi
sYf8Gz M0
_EJǠ%xb{
EU#N72@ࣥ$DfӕFiMy)zluR_)|mS54BA4DeAзRZ
ERBk?lz3R'jp\:(C}sGfXTk+{WN&Cx2(#m䳠#mx5ւ?2I<39U:g^Aq?Bg@jBǪ;0q#_pz!T걜GO&wJW@=Qc=s~?`$$pDo5nA;4 $5?wPY'ɢ?I}
q1{@[dS7: >F|XLrŋQ7mws #F>⨇';OuSO7_meF|L+zjrE# $
A2rw[˝sIۣ$4+s-}kWSNZΊcÊ}{dCj ErBLܾPsN{"gaW :>#?=t= ʋ,6ƜVm} 39`Nx'q\G-~@8p$희$hś=7JB*O
-zZ"#H|7¢$/B)/d{:;I
^@Rzx(PF}ܨ0\/t5v1OVnZ@v3,z`D>;;0\