%PDF-1.4 % 417 0 obj <> endobj xref 417 89 0000000016 00000 n 0000002173 00000 n 0000003149 00000 n 0000003192 00000 n 0000003228 00000 n 0000003603 00000 n 0000003645 00000 n 0000003719 00000 n 0000003751 00000 n 0000003793 00000 n 0000003916 00000 n 0000003963 00000 n 0000004010 00000 n 0000004084 00000 n 0000004139 00000 n 0000004186 00000 n 0000004260 00000 n 0000004325 00000 n 0000004367 00000 n 0000004490 00000 n 0000004550 00000 n 0000004597 00000 n 0000004671 00000 n 0000004716 00000 n 0000004763 00000 n 0000004850 00000 n 0000004892 00000 n 0000004939 00000 n 0000005062 00000 n 0000005089 00000 n 0000005141 00000 n 0000005202 00000 n 0000005238 00000 n 0000005285 00000 n 0000005372 00000 n 0000005403 00000 n 0000005450 00000 n 0000005524 00000 n 0000005566 00000 n 0000005608 00000 n 0000005731 00000 n 0000005775 00000 n 0000005822 00000 n 0000005896 00000 n 0000005927 00000 n 0000005974 00000 n 0000006048 00000 n 0000006090 00000 n 0000006132 00000 n 0000006242 00000 n 0000006270 00000 n 0000006317 00000 n 0000006391 00000 n 0000006423 00000 n 0000006470 00000 n 0000006544 00000 n 0000006582 00000 n 0000006653 00000 n 0000006705 00000 n 0000006846 00000 n 0000006993 00000 n 0000007174 00000 n 0000007326 00000 n 0000010958 00000 n 0000016900 00000 n 0000024319 00000 n 0000024485 00000 n 0000024654 00000 n 0000024815 00000 n 0000024984 00000 n 0000025107 00000 n 0000025333 00000 n 0000025592 00000 n 0000025829 00000 n 0000025852 00000 n 0000103030 00000 n 0000103251 00000 n 0000103675 00000 n 0000103913 00000 n 0000103936 00000 n 0000113895 00000 n 0000113923 00000 n 0000114289 00000 n 0000114441 00000 n 0000114511 00000 n 0000114750 00000 n 0000115104 00000 n 0000176213 00000 n 0000002325 00000 n trailer<<04783eebf45903603e6f6cf16a919155>] >> startxref 0 %%EOF 418 0 obj <>/Metadata 411 0 R>> endobj 505 0 obj <
>stream xilLQ73O 3mF[_k41%DTWTڪZu;**RmO)c(F"R҈_|'?wι/ h ɐ %B ̊UBƁdփMƢVpS1W-r(x&WD1cō0q)Zi gL2;uNZ=~/_ֽ.cnܽ](;gqt+WU_Vss۫]~M/\._q;`E;Jv:qi]{Wݷ^zc1Ax|o[#:$fD!q6SCthD0F(AH *1x`mB$&hFI"N#!Q#x?'`$tE@:a"a]kɌ:5efHALCF0 a!BԐFtmbZ\fFF!xg>NZi1ޮ ԋ#ja͝JI=#'j&s{eRwPHϑQ$Y\,G*a$W5rqh@pe`ۃOAD 2aGJ*RI8h;B ΣB{]_H1/ '!3EjJ3%+v ItVGa _O endstream endobj 419 0 obj <> endobj 420 0 obj <> endobj 421 0 obj <>/ExtGState<>/XObject<>/ProcSet[/PDF/Text/ImageB/ImageC/ImageI]>>/MediaBox[0 0 612 792]/Contents 479 0 R/Group<>/Tabs/S/CropBox[0 0 612 792]/Parent 416 0 R/Rotate 0>> endobj 422 0 obj <> endobj 423 0 obj <> endobj 424 0 obj (Introduction) endobj 425 0 obj <> endobj 426 0 obj <> endobj 427 0 obj (Methodology and Application) endobj 428 0 obj <> endobj 429 0 obj <> endobj 430 0 obj (Example Bug Patterns and Categories) endobj 431 0 obj <> endobj 432 0 obj <> endobj 433 0 obj (Placing debugging within software development) endobj 434 0 obj <> endobj 435 0 obj <> endobj 436 0 obj (A Language for Detecting and Fixing Bugs) endobj 437 0 obj <> endobj 438 0 obj <> endobj 439 0 obj (Basis: the TRANS language) endobj 440 0 obj <> endobj 441 0 obj <> endobj 442 0 obj (From TRANS to TRANSfix) endobj 443 0 obj <> endobj 444 0 obj <> endobj 445 0 obj (Actions) endobj 446 0 obj <> endobj 447 0 obj <> endobj 448 0 obj (Transformationss) endobj 449 0 obj <> endobj 450 0 obj <> endobj 451 0 obj (Type System) endobj 452 0 obj <> endobj 453 0 obj <> endobj 454 0 obj (Specification Examples) endobj 455 0 obj <> endobj 456 0 obj <> endobj 457 0 obj (Prototype Implementation) endobj 458 0 obj <> endobj 459 0 obj <> endobj 460 0 obj (Silhouettes) endobj 461 0 obj <> endobj 462 0 obj <> endobj 463 0 obj (Implementation Details) endobj 464 0 obj <> endobj 465 0 obj <> endobj 466 0 obj (Analysis) endobj 467 0 obj <> endobj 468 0 obj <> endobj 469 0 obj (Related Work) endobj 470 0 obj <> endobj 471 0 obj <> endobj 472 0 obj (Correctness Issues) endobj 473 0 obj <> endobj 474 0 obj [ 475 0 R 476 0 R 477 0 R 478 0 R] endobj 475 0 obj <>/F 4/A<>>> endobj 476 0 obj <>/F 4/A<>>> endobj 477 0 obj <>/F 4/A<>>> endobj 478 0 obj <>/F 4/A<>>> endobj 479 0 obj <>stream x[mo A8UlQ|Awv{^?"+OEcNqXp^rݜ]~ WO2'yVJD2yo,̼ߞ}Z