%PDF-1.4 % 3 0 obj << /pgfprgb [/Pattern /DeviceRGB] >> endobj 4 0 obj << /S /GoTo /D (section.1) >> endobj 7 0 obj (Introduction) endobj 8 0 obj << /S /GoTo /D (section.2) >> endobj 11 0 obj (Object Oriented Specifications in Clay) endobj 12 0 obj << /S /GoTo /D (subsection.2.1) >> endobj 15 0 obj (Modelling Data) endobj 16 0 obj << /S /GoTo /D (subsection.2.2) >> endobj 19 0 obj (Modelling Behaviour) endobj 20 0 obj << /S /GoTo /D (subsection.2.3) >> endobj 23 0 obj (Interacting with Clay) endobj 24 0 obj << /S /GoTo /D (section.3) >> endobj 27 0 obj (Translating Clay Specifications into Logic Programs) endobj 28 0 obj << /S /GoTo /D (subsection.3.1) >> endobj 31 0 obj (Representing Clay Instances in Prolog) endobj 32 0 obj << /S /GoTo /D (subsection.3.2) >> endobj 35 0 obj (Atomic Formulae \(Instance of and Equality\)) endobj 36 0 obj << /S /GoTo /D (subsection.3.3) >> endobj 39 0 obj (Translation of Pre- and Post-conditions) endobj 40 0 obj << /S /GoTo /D (section.4) >> endobj 43 0 obj (Experimental Results) endobj 44 0 obj << /S /GoTo /D (section.5) >> endobj 47 0 obj (Related Work and Conclusions) endobj 48 0 obj << /S /GoTo /D [49 0 R /Fit ] >> endobj 64 0 obj << /Length 4057 /Filter /FlateDecode >> stream xZ۶BJX0 A&_رԉĝ4vg('1H/Etε9 ] v.O~xu %#xuHCata#%b6~Wte\f[mmm_y̱RR2!:/?yzіEdevU~ePP<˦'F/$"ܮBIXP ZHFߊ %~BhaJ_sS"b5P =~kD2&exĆ0M䄒¤* ~"'PHk 9ۑH?˕R(Xa1"[t*pLtm}|6?ڮd[_Hug4xSP٦-7$,O-廧|u=h? 38Z{? ;i/.BH"xvT\LDߝk9N'%p !Mq>0,08 'X\\st&Ipow܃'Paj`ь30Gˬ+d~EAVQ:Q*hwC^$;-;!/i [6`%5=6_-rKwH!0GG3&`5E >웮'`F́N0rn UQeY'8m-Gϛ=yD7yuCuN ijeށ4*Mk Ms*#J`C蹃i -l8pgUUly;jam@Unwe1&V#̴d`L9CcAʚ@n@c FT5:Bu@ф`O0ūQT5%_Zxn<5wƵ45]WKHcqy1v'e~ڡKg HmhNL)$d4$}+5]A71mT
sJɝ5ZvE~tj90o>fS:35D$<7vBBɨsf`+8e=
7bbd𡱢:|8g!`&<,<ɜK@SV&"}5caMVQ`y5VX#}}"մIdߋK`]ZIkMh_hrd~k=W">A*ՙڗǘẎi[$valzz,%MXDq-{_y,3TJg<5X1#S:|gy'=z-T`6
B%