%PDF-1.4 % 5 0 obj << /S /GoTo /D (section.1) >> endobj 8 0 obj (Introduction) endobj 9 0 obj << /S /GoTo /D (section.2) >> endobj 12 0 obj (Motivating Examples) endobj 13 0 obj << /S /GoTo /D (subsection.2.1) >> endobj 16 0 obj (Illustrating JavaScript Suspend/Resume) endobj 17 0 obj << /S /GoTo /D (subsection.2.2) >> endobj 20 0 obj (Illustrating Transaction Read/Write Sets) endobj 21 0 obj << /S /GoTo /D (subsection.2.3) >> endobj 24 0 obj (Benefits) endobj 25 0 obj << /S /GoTo /D (section.3) >> endobj 28 0 obj (A Lambda Calculus with Transactions) endobj 29 0 obj << /S /GoTo /D (subsection.3.1) >> endobj 32 0 obj (Formalization) endobj 33 0 obj << /S /GoTo /D (subsection.3.2) >> endobj 36 0 obj (Examples) endobj 37 0 obj << /S /GoTo /D (section.4) >> endobj 40 0 obj (Implementation Considerations) endobj 41 0 obj << /S /GoTo /D (subsection.4.1) >> endobj 44 0 obj (Modifying the