Tony Hoare's hints on programming language design [pdf]

%PDF-1.2 %???? 158 0 obj << /Linearized 1 /O 160 /H [ 1451 640 ] /L 379372 /E 68953 /N 30 /T 376093 >> endobj xref 158 50 0000000016 00000 n 0000001351 00000 n 0000002091 00000 n 0000002402 00000 n 0000002539 00000 n 0000002841 00000 n 0000003978 00000 n 0000014091 00000 n 0000014211 00000 n 0000015314 00000 n 0000015588 00000 n 0000015611 00000 n 0000020727 00000 n 0000020750 00000 n 0000027253 00000 n 0000027276 00000 n 0000032343 00000 n 0000032366 00000 n 0000038237 00000 n 0000038260 00000 n 0000044097 00000 n 0000044212 00000 n 0000044235 00000 n 0000048897 00000 n 0000048920 00000 n 0000054378 00000 n 0000054401 00000 n 0000055619 00000 n 0000055643 00000 n 0000055667 00000 n 0000055709 00000 n 0000055729 00000 n 0000055749 00000 n 0000055772 00000 n 0000062644 00000 n 0000062666 00000 n 0000063486 00000 n 0000063508 00000 n 0000064333 00000 n 0000064355 00000 n 0000065299 00000 n 0000065321 00000 n 0000066298 00000 n 0000066320 00000 n 0000067061 00000 n 0000067083 00000 n 0000067932 00000 n 0000067954 00000 n 0000001451 00000 n 0000002069 00000 n trailer << /Size 208 /Info 149 0 R /Root 159 0 R /Prev 376082 /ID[<5ebfcbbb2aaf1894ff8bc61daa7e9ce4><5ebfcbbb2aaf1894ff8bc61daa7e9ce4>] >> startxref 0 %%EOF 159 0 obj << /Pages 155 0 R /Type /Catalog /DefaultGray 156 0 R /DefaultRGB 157 0 R >> endobj 206 0 obj << /S 399 /Filter /FlateDecode /Length 207 0 R >> stream H??? ? T ? @ @ ? @ ??6 ~??N?4? ? ??/k?!?I??gu m|??e????XR5UUS5EsuSUz? ?!???J?!ž??+?n??I??J???+۹+?n???????+۹&?I?.?&??һ?Jᇿ?I?/?,rm+???.?&?I?.?&?J?????&?K?e??v?6Zm?F? X??UU?5X ??"? 3????3?( ""?"? ? ?"8#4F????D??? (??6 ~??N?4? ? ??/k?!?I??gu m|??e??? ? ?\ . 3 ?PF?]??A?? >? ?S ;p ?? k??H? 5O?? @ ?? 2 ?% 9? ?? - ?= .?MHD@A KD?? endstream endobj 207 0 obj 531 endobj 160 0 obj << /Type /Page /Parent 150 0 R /Resources << /Font << /F0 165 0 R /F1 163 0 R /F2 166 0 R /F3 178 0 R >> /XObject 161 0 R /ProcSet 187 0 R >> /Contents [ 169 0 R 171 0 R 173 0 R 175 0 R 177 0 R 180 0 R 182 0 R 184 0 R ] /MediaBox [ 0 0 623 799 ] /CropBox [ 0 0 623 799 ] /Rotate 0 >> endobj 161 0 obj << /im1 191 0 R /im2 193 0 R /im3 195 0 R /im4 197 0 R /im5 199 0 R /im6 201 0 R /im7 203 0 R /im8 205 0 R >> endobj 162 0 obj << /Type /FontDescriptor /FontName /HMBNMD+Wingdings /Flags 4 /FontBBox [ -250 -250 1300 917 ] /MissingWidth 417 /StemV 137 /StemH 137 /ItalicAngle 0 /CapHeight 917 /XHeight 641 /Ascent 917 /Descent 250 /Leading 167 /MaxWidth 1083 /AvgWidth 750 /FontFile2 164 0 R >> endobj 163 0 obj << /Type /Font /Subtype /TrueType /Name /F1 /BaseFont /HMBNMD+Wingdings /FirstChar 31 /LastChar 255 /Widths [ 500 1000 1030 1145 1301 1344 894 1217 458 1084 892 1132 1132 1171 1171 1441 1443 1096 1343 699 699 892 554 602 1072 948 1078 939 891 892 892 891 910 910 587 793 674 674 942 942 549 549 892 843 843 843 1111 660 849 1089 888 880 650 813 747 747 723 693 794 885 892 896 891 1156 1054 964 1090 941 933 946 1025 929 1096 1065 780 1050 1271 747 953 747 891 891 891 891 458 747 986 891 578 1060 1060 891 892 892 530 530 500 892 892 892 892 892 892 892 892 892 892 892 892 892 892 892 892 892 892 892 892 892 892 1000 1000 1000 1000 1000 1000 1000 1000 313 458 313 891 891 891 891 891 953 458 891 891 891 891 891 891 891 891 891 891 891 891 891 891 891 891 891 891 891 891 891 891 891 891 891 891 891 891 891 891 891 1048 1048 1048 1048 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1253 1253 794 794 891 891 891 891 891 891 979 979 891 891 776 776 776 776 1067 1067 891 891 873 873 873 873 891 891 811 811 1060 811 782 782 782 782 482 385 635 786 892 892 1035 ] /FontDescriptor 162 0 R >> endobj 164 0 obj << /Length 185 0 R /Length1 186 0 R /Length2 189 0 R /Length3 188 0 R >> stream ? POS/2?? ? Vcmap;??<