Annual Review in Automatic Programming (eBook)

Front Cover 1
Annual Review in Automatic Programming 4
Copyright Page 5
Table of Contents 8
What is A.P.I.C.? 6
Chapter 1. The Description of Computing Processes: Some Observations on Automatic Programming and ALGOL 60 10
I. GENERAL REMARKS 11
II. ALGOL 60 13
III. OUTLINE OF THE SUGGESTED SEMANTICS 15
IV. DISCUSSION 22
V. ACKNOWLEDGEMENTS 24
REFERENCES 24
Chapter 2. Generalized ALGOL 26
Chapter 3. On the Design of Machine Independent Programming Languages 36
INTRODUCTION 36
ON GOOD USE OF A MACHINE 37
ON THE NEEDS OF THE USER 40
ON SEMANTIC DEFINITION AND THE NEED FOR CONVERSATION 41
ON UNNECESSARY REDUNDANCY AND OPTIONAL INFORMATION 44
ON SOME PROPOSALS BY STRACHEY AND WILKES 49
ACKNOWLEDGEMENT 51
Chapter 4. The Use of Recursive Procedures in ALGOL 60 52
I. INTRODUCTION 52
II. INDIRECT RECURSIVITY 52
III. DIRECT RECURSIVITY 56
IV. IMPLEMENTATION OF RECURSIVE PROCEDURES 59
V. REFERENCES 59
Chapter 5. Jovial—A Programming Language for Real-time Command Systems 62
INTRODUCTION 62
NOTATION 65
ALPHABET AND VOCABULARY 66
COMMENTS 72
CLAUSES 72
SENTENCES 80
Chapter 6. Towards an ALGOLTranslator 130
1. INTRODUCTION 130
2. THE STRUCTURE OF AN ALGOL MACHINE 131
3. THE INPUT FORMAT 134
4. THE PROBLEM IN THE LARGE 137
5. 'ALGOL IN ALGOL' 139
6. THE FIRST PASS 141
7. FORWARD REFERENCES 142
8. THE SECOND AND THIRD PASSES 144
9. THE TRANSLATION PROCESS 148
10. FURTHER WORK 155
11. CONCLUSIONS 158
APPENDIX I. FIRST THREE PASSES AND INTERPRETER 161
APPENDIX II. TEST PROGRAM No. 3 170
Chapter 7. A Multi-pass Translation Scheme for ALGOL 60 172
1. INTRODUCTION 172
2. BASIC STRUCTURE AND OBJECTS OF THE SCHEME 172
3. A BRIEF DESCRIPTION OF KDF9 IN TERMS OF ITS USER CODE 173
4. THE STORAGE ALLOCATION SYSTEM 175
5. PROCEDURE CLASSIFICATION 182
6. OPTIMIZATION OF FOR STATEMENTS AND SUBSCRIPTED VARIABLES 190
7. TRANSLATION 203
8. INPUT AND SYNTACTIC CHECK 212
9. CONCLUSIONS 213
ACKNOWLEDGEMENTS 213
REFERENCES 213
Chapter 8. The Structure and Use of the Syntax Directed Compiler 216
THE META LANGUAGE 216
SOME TYPICAL META LINGUISTIC CONSTRUCTIONS FOR AN ALGEBRAIC COMPILER 219
THE TRANSLATOR 232
Chapter 9. The Compiler Compiler 238
INTRODUCTION 238
FORMAT GLASS 243
FORMAT 244
PSEUDO-IDENTIFIERS 244
SOME EXAMPLES OF THE USES OF PHRASES AND FORMATS 245
THE ROLE OF PHRASE DEFINITIONS AND [SS] 245
IGNORE 246
FORMAT ROUTINE 247
BUILT-IN INSTRUCTIONS 248
SOME EXAMPLES OF FORMAT ROUTINES 259
PRELOADED AUXILIARY FORMATS 267
OTHER MASTER STATEMENTS 277
REFERENCES 280
APPENDIX. LIST OF BUILT-IN AND PRELOADED PHRASES AND FORMATS 281
APPENDIX I. SERIAL NUMBERS OF BASIC SYMBOLS 284
Chapter 10. 
286 
1. PREFACE 286
2. GENERAL 287
3. COBOL 288
4. I.B.M. COMMERCIAL TRANSLATOR 291
5. FACT 293
6. NEBULA 295
7. A COMPARISON OF THE CAPABILITIES IN THE ABOVE LANGUAGES 296
8. RAPIDWRITE 298
9. CLEO 301
10. FILECODE 303
11. CONCLUSION 306
REFERENCES 306
Chapter 11. Rapidwrite 308
WHAT RAPIDWRITE ACHIEVES 308
READABILITY 309
SIMPLICITY 313
FIXED FORMAT 315
NATURAL LANGUAGE TRANSLATION 316
CONCLUSION 318
Chapter 12. 'File Processing' in SEAL 320
1. INTRODUCTION 320
2. THE ORGANIZATION OF FILES 321
3. THE STRUCTURE OF DATA WITHIN FILES 325
4. PROCESSING RECORDS 329
5. CONCLUSIONS 333
EDITORIAL NOTE 334
APPENDIX: Two Papers on an ALGOL Translator for the X1 336
An ALGOL 60 Translator for the X1 338
INTRODUCTION 338
PRESUPPOSITIONS AND INTENTIONS 339
ARITHMETIC 340
ARRAYS 343
SIMULTANEOUS ASSIGNMENTS 344
PROCEDURES AND BLOCKS 345
THE DISPLAY 349
ACTUAL AND FORMAL PARAMETERS 351
CONCLUDING REMARKS 352
REFERENCES 354
Making a Translator for ALGOL 60 356
Contents of Volume 1 366
Contents of Volume 2 368