%PDF-1.5 % 1 0 obj << /S /GoTo /D (section.1) >> endobj 4 0 obj (Introduction) endobj 5 0 obj << /S /GoTo /D (section.2) >> endobj 8 0 obj (Structure of a Piglet) endobj 9 0 obj << /S /GoTo /D (subsection.2.1) >> endobj 12 0 obj (Streams) endobj 13 0 obj << /S /GoTo /D (subsection.2.2) >> endobj 16 0 obj (Piglets) endobj 17 0 obj << /S /GoTo /D (section.3) >> endobj 20 0 obj (Data validation) endobj 21 0 obj << /S /GoTo /D (section.4) >> endobj 24 0 obj (Advanced Piglets operations) endobj 25 0 obj << /S /GoTo /D (subsection.4.1) >> endobj 28 0 obj (Submitting) endobj 29 0 obj << /S /GoTo /D (subsection.4.2) >> endobj 32 0 obj (Mapping) endobj 33 0 obj << /S /GoTo /D (subsection.4.3) >> endobj 36 0 obj (Fine-grained validation) endobj 37 0 obj << /S /GoTo /D (section.5) >> endobj 40 0 obj (Piglet collections) endobj 41 0 obj << /S /GoTo /D (section.6) >> endobj 44 0 obj (Generalizing the View Function) endobj 45 0 obj << /S /GoTo /D (section.7) >> endobj 48 0 obj (Related work) endobj 49 0 obj << /S /GoTo /D (section.8) >> endobj 52 0 obj (Conclusions) endobj 53 0 obj << /S /GoTo /D (appendix.A) >> endobj 56 0 obj (The common Person Piglet) endobj 57 0 obj << /S /GoTo /D (appendix.B) >> endobj 60 0 obj (A Piglet rendered using WebSharper HTML) endobj 61 0 obj << /S /GoTo /D (appendix.C) >> endobj 64 0 obj (A Piglet rendered using Sencha Touch) endobj 65 0 obj << /S /GoTo /D [66 0 R /Fit] >> endobj 76 0 obj << /Length 4437 /Filter /FlateDecode >> stream xڝZY6~ϯ}T%x{Z;WR$