%PDF-1.4
%
1 0 obj
<<
/Type /Catalog
/Pages 135 0 R
/Metadata 3 1 R
/Outlines 297 0 R
/Names 301 0 R
/OpenAction [ 4 0 R /Fit ]
/PageMode /UseOutlines
/ViewerPreferences << /FitWindow true >>
/PageLabels 296 0 R
>>
endobj
2 0 obj
<<
/ModDate (D:20040225140636+01'00')
/Producer (Acrobat Distiller 5.0.5 \(Windows\))
/Author (Jan Vitek, Suresh Jagannathan, Adam Welc, and Antony L. Hosking)
/Title (LNCS 2986 - A Semantic Framework for Designer Transactions)
/Subject (Programming Languages and Systems)
/Creator (DVIPSONE \(32\) 2.1.7 http://www.YandY.com)
/CreationDate (D:20040210101521Z)
>>
endobj
3 1 obj
<< /Type /Metadata /Subtype /XML /Length 1906 >>
stream
2004-02-10T10:15:21Z
2004-02-25T14:06:36+01:00
Acrobat Distiller 5.0.5 (Windows)
DVIPSONE (32) 2.1.7 http://www.YandY.com
LNCS 2986 - A Semantic Framework for Designer Transactions
Programming Languages and Systems
Jan Vitek, Suresh Jagannathan, Adam Welc, and Antony L. Hosking
2004-02-10T10:15:21Z
2004-02-25T14:06:36+01:00
2004-02-25T14:06:36+01:00
Jan Vitek, Suresh Jagannathan, Adam Welc, and Antony L. Hosking
LNCS 2986 - A Semantic Framework for Designer Transactions
Programming Languages and Systems
LNCS 2986 - A Semantic Framework for Designer Transactions
Programming Languages and Systems
Jan Vitek, Suresh Jagannathan, Adam Welc, and Antony L. Hosking
endstream
endobj
4 0 obj
<<
/Type /Page
/Parent 34 0 R
/Resources << /ColorSpace << /CS2 314 0 R /CS1 314 0 R /CS0 314 0 R >> /ExtGState << /GS4 33 0 R /GS5 313 0 R >>
/Font << /T1_16 26 0 R /T1_17 27 0 R /T1_18 25 0 R /T1_19 28 0 R /T1_20 29 0 R
/T1_21 30 0 R /T1_22 31 0 R /T1_23 32 0 R >>
/ProcSet [ /PDF /Text ] >>
/Contents 319 0 R
/CropBox [ 91 71 521 721 ]
/Annots [ 18 0 R 19 0 R 20 0 R 302 0 R 308 0 R ]
>>
endobj
5 0 obj
<<
/D [ 4 0 R /XYZ null 764 null ]
/Rect [ 4062987 1900787 4194549 1769225 ]
>>
endobj
6 0 obj
<<
/Title (Introduction )
/Dest (section.1.1)
/Parent 297 0 R
/Next 7 0 R
>>
endobj
7 0 obj
<<
/Title (The Transactional Featherweight Java Calculus )
/Dest (section.1.2)
/Parent 297 0 R
/Prev 6 0 R
/Next 10 0 R
/First 8 0 R
/Last 9 0 R
/Count -2
>>
endobj
8 0 obj
<<
/Title (Syntax )
/Dest (subsection.1.2.1)
/Parent 7 0 R
/Next 9 0 R
>>
endobj
9 0 obj
<<
/Title (Reduction )
/Dest (subsection.1.2.2)
/Parent 7 0 R
/Prev 8 0 R
>>
endobj
10 0 obj
<<
/Title (Versioning Semantics )
/Dest (section.1.3)
/Parent 297 0 R
/Prev 7 0 R
/Next 11 0 R
>>
endobj
11 0 obj
<<
/Title (Strict Two-Phase Locking )
/Dest (section.1.4)
/Parent 297 0 R
/Prev 10 0 R
/Next 12 0 R
>>
endobj
12 0 obj
<<
/Title (Soundness )
/Dest (section.1.5)
/Parent 297 0 R
/Prev 11 0 R
/Next 13 0 R
>>
endobj
13 0 obj
<<
/Title (Related Work )
/Dest (section.1.6)
/Parent 297 0 R
/Prev 12 0 R
/Next 14 0 R
>>
endobj
14 0 obj
<<
/Title (Conclusions )
/Dest (section.1.7)
/Parent 297 0 R
/Prev 13 0 R
>>
endobj
15 0 obj
<<
/D [ 4 0 R /XYZ null 748 null ]
/Rect [ 4062987 2949365 4128768 2225774 ]
>>
endobj
16 0 obj
<<
/D [ 4 0 R /XYZ null 748 null ]
/Rect [ 4062987 2949365 4128768 2225774 ]
>>
endobj
17 0 obj
<<
/D [ 4 0 R /XYZ null 481 null ]
/Rect [ 4062987 20472924 4128768 19749332 ]
>>
endobj
18 0 obj
<<
/Dest (page.263)
/Type /Annot
/Subtype /Link
/Rect [ 326 106 340 113 ]
/C [ 1 0 0 ]
/Border [ 0 0 1 ]
>>
endobj
19 0 obj
<<
/Type /Annot
/Subtype /Text
/Rect [ 605 820 623 842 ]
/Contents (Dieser Report wurde automatisch mit Hilfe der Adobe Acrobat Distiller Er\
weiterung "Distiller Secrets v1.0.5" der IMPRESSED GmbH erstellt.\rSie k\
oennen diese Startup-Datei f\374r die Distiller Versionen 4.0.5 und 5.0.\
x kostenlos unter http://www.impressed.de herunterladen.\r\rALLGEMEIN --\
--------------------------------------\rDateioptionen:\r Kompatibili\
t\344t: PDF 1.3\r F\374r schnelle Web-Anzeige optimieren: Nein\r \
Piktogramme einbetten: Nein\r Seiten automatisch drehen: Nein\r \
Seiten von: 1\r Seiten bis: Alle Seiten\r Bund: Links\r Auf\
l\366sung: [ 2400 2400 ] dpi\r Papierformat: [ 594.962 841.96 ] Punk\
t\r\rKOMPRIMIERUNG ----------------------------------------\rFarbbilder:\
\r Downsampling: Ja\r Berechnungsmethode: Bikubische Neuberechnu\
ng\r Downsample-Aufl\366sung: 300 dpi\r Downsampling f\374r Bild\
er \374ber: 450 dpi\r Komprimieren: Ja\r Automatische Bestimmung\
der Komprimierungsart: Ja\r JPEG-Qualit\344t: Maximal\r Bitanza\
hl pro Pixel: Wie Original Bit\rGraustufenbilder:\r Downsampling: Ja\
\r Berechnungsmethode: Bikubische Neuberechnung\r Downsample-Auf\
l\366sung: 300 dpi\r Downsampling f\374r Bilder \374ber: 450 dpi\r \
Komprimieren: Ja\r Automatische Bestimmung der Komprimierungsart:\
Ja\r JPEG-Qualit\344t: Maximal\r Bitanzahl pro Pixel: Wie Origi\
nal Bit\rSchwarzwei\337-Bilder:\r Downsampling: Ja\r Berechnungs\
methode: Bikubische Neuberechnung\r Downsample-Aufl\366sung: 2400 dp\
i\r Downsampling f\374r Bilder \374ber: 24000 dpi\r Komprimieren\
: Ja\r Komprimierungsart: CCITT\r CCITT-Gruppe: 4\r Graustuf\
en gl\344tten: Nein\r\r Text und Vektorgrafiken komprimieren: Ja\r\r\
SCHRIFTEN ----------------------------------------\r Alle Schriften \
einbetten: Ja\r Untergruppen aller eingebetteten Schriften: Nein\r \
Wenn Einbetten fehlschl\344gt: Warnen und weiter\rEinbetten:\r Im\
mer einbetten: [ /Courier-BoldOblique /Helvetica-BoldOblique /Courier /H\
elvetica-Bold /Times-Bold /Courier-Bold /Helvetica /Times-BoldItalic /Ti\
mes-Roman /ZapfDingbats /Times-Italic /Helvetica-Oblique /Courier-Obliqu\
e /Symbol ]\r Nie einbetten: [ ]\r\rFARBE\(N\) ---------------------\
-------------------\rFarbmanagement:\r Farbumrechnungsmethode: Farbe\
nicht \344ndern\r Methode: Standard\rGer\344teabh\344ngige Daten:\r\
Einstellungen f\374r \334berdrucken beibehalten: Ja\r Unterfarb\
reduktion und Schwarzaufbau beibehalten: Ja\r Transferfunktionen: An\
wenden\r Rastereinstellungen beibehalten: Ja\r\rERWEITERT ----------\
------------------------------\rOptionen:\r Prolog/Epilog verwenden:\
Ja\r PostScript-Datei darf Einstellungen \374berschreiben: Ja\r \
Level 2 copypage-Semantik beibehalten: Ja\r Portable Job Ticket in \
PDF-Datei speichern: Nein\r Illustrator-\334berdruckmodus: Ja\r \
Farbverl\344ufe zu weichen Nuancen konvertieren: Ja\r ASCII-Format: \
Nein\rDocument Structuring Conventions \(DSC\):\r DSC-Kommentare ver\
arbeiten: Ja\r DSC-Warnungen protokollieren: Nein\r F\374r EPS-D\
ateien Seitengr\366\337e \344ndern und Grafiken zentrieren: Ja\r EPS\
-Info von DSC beibehalten: Ja\r OPI-Kommentare beibehalten: Nein\r \
Dokumentinfo von DSC beibehalten: Ja\r\rANDERE ----------------------\
------------------\r Distiller-Kern Version: 5000\r ZIP-Komprimi\
erung verwenden: Ja\r Optimierungen deaktivieren: Nein\r Bildspe\
icher: 524288 Byte\r Farbbilder gl\344tten: Nein\r Graustufenbil\
der gl\344tten: Nein\r Bilder \(< 257 Farben\) in indizierten Farbra\
um konvertieren: Ja\r sRGB ICC-Profil: sRGB IEC61966-2.1\r\rENDE DES\
REPORTS ----------------------------------------\r\rIMPRESSED GmbH\rBah\
renfelder Chaussee 49\r22761 Hamburg, Germany\rTel. +49 40 897189-0\rFax\
+49 40 897189-71\rEmail: info@impressed.de\rWeb: www.impressed.de)
/T (Verwendete Distiller 5.0.x Joboptions)
/C [ 1 1 0 ]
/Name /Note
/P 4 0 R
/NM (1900013)
/F 24
/Popup 302 0 R
/AP << /N 304 0 R /D 306 0 R >>
>>
endobj
20 0 obj
<<
/Type /Annot
/Subtype /Text
/Rect [ 605 790 623 812 ]
/Contents (<<\r /ColorSettingsFile \(\)\r /AntiAliasMonoImages false\r \
/CannotEmbedFontPolicy /Warning\r /ParseDSCComments true\r /DoTh\
umbnails false\r /CompressPages true\r /CalRGBProfile \(sRGB IEC\
61966-2.1\)\r /MaxSubsetPct 100\r /EncodeColorImages true\r \
/GrayImageFilter /DCTEncode\r /Optimize false\r /ParseDSCComment\
sForDocInfo true\r /EmitDSCWarnings false\r /CalGrayProfile \(\)\
\r /NeverEmbed [ ]\r /GrayImageDownsampleThreshold 1.5\r /Us\
ePrologue true\r /GrayImageDict << /QFactor 0.9 /Blend 1 /HSamples [\
2 1 1 2 ] /VSamples [ 2 1 1 2 ] >>\r /AutoFilterColorImages true\r \
/sRGBProfile \(sRGB IEC61966-2.1\)\r /ColorImageDepth -1\r /\
PreserveOverprintSettings true\r /AutoRotatePages /None\r /UCRan\
dBGInfo /Preserve\r /EmbedAllFonts true\r /CompatibilityLevel 1.\
3\r /StartPage 1\r /AntiAliasColorImages false\r /CreateJobT\
icket false\r /ConvertImagesToIndexed true\r /ColorImageDownsamp\
leType /Bicubic\r /ColorImageDownsampleThreshold 1.5\r /MonoImag\
eDownsampleType /Bicubic\r /DetectBlends true\r /GrayImageDownsa\
mpleType /Bicubic\r /PreserveEPSInfo true\r /GrayACSImageDict <<\
/VSamples [ 1 1 1 1 ] /QFactor 0.15 /Blend 1 /HSamples [ 1 1 1 1 ] /Col\
orTransform 1 >>\r /ColorACSImageDict << /VSamples [ 1 1 1 1 ] /QFac\
tor 0.15 /Blend 1 /HSamples [ 1 1 1 1 ] /ColorTransform 1 >>\r /Pres\
erveCopyPage true\r /EncodeMonoImages true\r /ColorConversionStr\
ategy /LeaveColorUnchanged\r /PreserveOPIComments false\r /AntiA\
liasGrayImages false\r /GrayImageDepth -1\r /ColorImageResolutio\
n 300\r /EndPage -1\r /AutoPositionEPSFiles true\r /MonoImag\
eDepth -1\r /TransferFunctionInfo /Apply\r /EncodeGrayImages tru\
e\r /DownsampleGrayImages true\r /DownsampleMonoImages true\r \
/DownsampleColorImages true\r /MonoImageDownsampleThreshold 10.0\r\
/MonoImageDict << /K -1 >>\r /Binding /Left\r /CalCMYKProfi\
le \(U.S. Web Coated \(SWOP\) v2\)\r /MonoImageResolution 2400\r \
/AutoFilterGrayImages true\r /AlwaysEmbed [ /Courier-BoldOblique /H\
elvetica-BoldOblique /Courier /Helvetica-Bold /Times-Bold /Courier-Bold \
/Helvetica /Times-BoldItalic /Times-Roman /ZapfDingbats /Times-Italic /H\
elvetica-Oblique /Courier-Oblique /Symbol ]\r /ImageMemory 524288\r \
/SubsetFonts false\r /DefaultRenderingIntent /Default\r /OPM\
1\r /MonoImageFilter /CCITTFaxEncode\r /GrayImageResolution 300\
\r /ColorImageFilter /DCTEncode\r /PreserveHalftoneInfo true\r \
/ColorImageDict << /QFactor 0.9 /Blend 1 /HSamples [ 2 1 1 2 ] /VSamp\
les [ 2 1 1 2 ] >>\r /ASCII85EncodePages false\r /LockDistillerP\
arams false\r>> setdistillerparams\r<<\r /PageSize [ 595.276 841.890\
]\r /HWResolution [ 2400 2400 ]\r>> setpagedevice)
/T (Adobe Acrobat Distiller 5.0.x Joboption Datei)
/C [ 0 1 0 ]
/Name /Note
/P 4 0 R
/NM (1900014)
/F 24
/Popup 308 0 R
/AP << /N 309 0 R /D 311 0 R >>
>>
endobj
22 0 obj
<<
/D [ 4 0 R /XYZ null null null ]
>>
endobj
25 0 obj
<<
/Type /Font
/Subtype /Type1
/FirstChar 1
/LastChar 148
/Widths [ 600 856 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343
343 343 343 343 343 343 343 343 343 343 343 343 343 343 343 343
343 343 343 343 343 343 400 400 343 799 285 343 285 514 514 514
514 514 514 514 514 514 514 514 285 285 343 343 343 343 343 771
728 742 785 699 671 806 771 371 528 799 642 942 771 799 699 343
756 571 742 771 771 1056 343 343 628 343 343 343 343 343 514 514
571 457 571 457 314 514 571 285 314 542 285 856 571 514 571 542
402 405 400 571 542 742 542 542 457 343 343 343 343 343 343 343
343 343 343 514 343 343 343 343 343 343 343 343 343 343 343 343
343 571 571 ]
/Encoding 251 0 R
/BaseFont /MOJEDB+CMR9
/FontDescriptor 203 0 R
/ToUnicode 252 0 R
>>
endobj
26 0 obj
<<
/Type /Font
/Subtype /Type1
/FirstChar 45
/LastChar 119
/Widths [ 375 375 375 375 563 563 563 563 563 563 563 375 375 375 375 375 375
375 375 375 850 375 813 862 375 707 375 375 419 581 375 676 375
375 375 769 375 839 625 782 375 850 1162 375 375 375 375 375 375
375 375 375 547 375 500 625 513 344 563 625 313 375 594 313 938
625 563 375 375 459 444 438 625 594 813 ]
/Encoding 253 0 R
/BaseFont /MOJEDC+CMBX12
/FontDescriptor 205 0 R
/ToUnicode 254 0 R
>>
endobj
27 0 obj
<<
/Type /Font
/Subtype /Type1
/FirstChar 1
/LastChar 148
/Widths [ 583 833 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333
333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333
333 333 333 333 333 333 389 389 333 778 278 333 278 500 500 500
500 500 500 500 500 500 500 500 278 278 333 778 333 333 333 750
708 722 764 681 653 785 750 361 514 778 625 917 750 778 681 333
736 556 722 333 750 1028 333 333 333 278 333 278 333 333 333 500
556 444 556 444 306 500 556 278 306 528 278 833 556 500 556 528
392 394 389 556 528 722 528 528 444 333 333 333 333 333 333 333
333 333 333 333 333 333 333 333 333 333 333 500 500 333 278 333
333 556 556 ]
/Encoding 255 0 R
/BaseFont /MOJEEC+CMR10
/FontDescriptor 207 0 R
/ToUnicode 256 0 R
>>
endobj
28 0 obj
<<
/Type /Font
/Subtype /Type1
/FirstChar 46
/LastChar 116
/Widths [ 329 394 394 592 592 592 592 592 592 592 394 394 394 394 394 394 394
394 394 893 394 394 394 394 744 394 394 394 394 394 394 394 394
394 394 394 394 394 394 394 394 394 394 394 394 394 394 394 394
394 394 575 657 526 394 394 394 592 394 329 394 394 394 394 394
394 394 394 488 467 460 ]
/Encoding 257 0 R
/BaseFont /MOJEED+CMBX9
/FontDescriptor 209 0 R
/ToUnicode 258 0 R
>>
endobj
29 0 obj
<<
/Type /Font
/Subtype /Type1
/FirstChar 44
/LastChar 132
/Widths [ 315 367 315 367 525 525 525 525 367 367 367 367 367 367 315 367 367
367 367 367 367 763 723 735 775 696 670 367 367 396 539 367 644
920 763 367 696 367 749 577 735 367 763 1025 367 367 367 367 367
367 367 367 367 525 472 472 525 472 315 472 525 315 367 472 262
840 577 525 525 367 433 420 341 551 472 682 474 498 367 367 367
367 367 367 367 367 367 367 1049 ]
/Encoding 259 0 R
/BaseFont /MOJEFE+CMTI9
/FontDescriptor 211 0 R
/ToUnicode 260 0 R
>>
endobj
30 0 obj
<<
/Type /Font
/Subtype /Type1
/FirstChar 1
/LastChar 148
/Widths [ 613 358 358 358 358 358 358 358 358 358 358 358 358 358 358 358 358
358 358 358 358 358 358 358 358 358 358 358 358 358 358 358 358
358 358 358 358 358 358 409 409 358 358 307 358 307 358 358 511
511 511 358 358 358 358 358 358 307 358 358 767 358 358 358 743
358 358 755 678 653 358 358 386 525 358 627 358 358 358 358 358
358 358 716 358 358 999 358 358 358 358 358 358 358 358 358 511
460 460 511 460 307 460 511 307 307 460 256 818 562 511 511 460
422 409 332 537 460 664 464 486 358 358 358 358 358 358 358 358
358 358 358 358 358 358 358 358 358 358 358 358 358 358 358 358
358 562 588 ]
/Encoding 261 0 R
/BaseFont /MOJEFF+CMTI10
/FontDescriptor 213 0 R
/ToUnicode 262 0 R
>>
endobj
31 0 obj
<<
/Type /Font
/Subtype /Type1
/FirstChar 40
/LastChar 133
/Widths [ 446 446 385 877 323 385 323 385 569 569 569 569 569 385 569 385 569
569 323 323 385 877 385 385 385 843 799 815 860 768 385 385 843
385 385 385 706 385 843 877 768 385 385 631 385 385 843 385 385
385 385 323 385 323 385 385 385 569 631 508 631 508 354 569 631
323 385 385 323 939 631 385 631 385 446 453 446 385 385 385 385
385 385 385 385 385 385 385 385 385 385 385 385 569 ]
/Encoding 263 0 R
/BaseFont /MOJEGG+CMR7
/FontDescriptor 215 0 R
/ToUnicode 264 0 R
>>
endobj
32 0 obj
<<
/Type /Font
/Subtype /Type1
/FirstChar 1
/LastChar 138
/Widths [ 1139 329 770 1139 0 585 1139 708 462 462 0 770 770 333 333 333 333
333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333
333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333
333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333
333 333 333 616 333 333 333 333 333 333 333 333 333 333 333 333
333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333
333 333 333 333 333 333 333 333 333 333 333 333 333 333 333 333
333 333 333 333 333 333 333 333 333 585 339 585 333 333 585 333
333 333 333 333 333 333 333 333 893 ]
/Encoding 265 0 R
/BaseFont /MOJEGH+CMSY7
/FontDescriptor 217 0 R
/ToUnicode 266 0 R
>>
endobj
33 0 obj
<<
/Type /ExtGState
/SA false
/SM 0.02
/OP false
/op false
/OPM 1
/BG2 /Default
/UCR2 /Default
/HT /Default
>>
endobj
34 0 obj
<<
/Type /Pages
/Kids [ 4 0 R 37 0 R 51 0 R 68 0 R 80 0 R 90 0 R 100 0 R 107 0 R 114 0 R
120 0 R ]
/Count 10
/CropBox [ 0 0 612 792 ]
/Parent 135 0 R
>>
endobj
35 0 obj
<<
/D [ 4 0 R /XYZ null 764 null ]
/Rect [ 4062987 1900787 4194549 1769225 ]
>>
endobj
36 0 obj
<<
/Dest (cite.LM+94)
/Type /Annot
/Subtype /Link
/Rect [ 408 558 420 566 ]
/C [ 0 1 0 ]
/Border [ 0 0 1 ]
>>
endobj
37 0 obj
<<
/Type /Page
/Parent 34 0 R
/Resources 45 0 R
/Contents 44 0 R
/CropBox [ 91 71 521 721 ]
/Annots [ 36 0 R 38 0 R 40 0 R 41 0 R ]
>>
endobj
38 0 obj
<<
/Dest (cite.CR94)
/Type /Annot
/Subtype /Link
/Rect [ 420 558 427 566 ]
/C [ 0 1 0 ]
/Border [ 0 0 1 ]
>>
endobj
39 0 obj
<<
/D [ 37 0 R /XYZ null 577 null ]
/Rect [ 4062987 14165640 4128768 13442049 ]
>>
endobj
40 0 obj
<<
/Dest (cite.Igarashi:2001:FJM)
/Type /Annot
/Subtype /Link
/Rect [ 235 445 247 453 ]
/C [ 0 1 0 ]
/Border [ 0 0 1 ]
>>
endobj
41 0 obj
<<
/Dest (figure.1.1)
/Type /Annot
/Subtype /Link
/Rect [ 335 397 342 405 ]
/C [ 1 0 0 ]
/Border [ 0 0 1 ]
>>
endobj
42 0 obj
<<
/D [ 37 0 R /XYZ null 202 null ]
/Rect [ 12901271 38823000 13032833 38691444 ]
>>
endobj
43 0 obj
<<
/D [ 37 0 R /XYZ null null null ]
>>
endobj
44 0 obj
<< /Length 2790 /Filter /FlateDecode >>
stream
HWKo^+t|53e7bJ`ϡMq,P=N!TWu5ٔ'A&0dT?X7r%WWZY"sgI
%d*Z=^}r+竻JV$Vlq{=TyQ
LFlnAxL2Ix Im߭w.R>3̅^WwcYOv7L:CF:XZV&D6rmޔC}jMc
]܅PuUxy22iMn^xl*/MEv[̓bBrlF0R};Ī_̾;u8rŽݡb4ް[hXf]zN=[4c;PR$Zު=5T$V2LUspy;HH3=+Scr"X1L5:x>ʴۙI#,ʝh#0p?X۴Ri4Ng7zj81>^aid\^`f3[iZhi
Re