Goodman Annual Review in Automatic Programming

International Tracts in Computer Science and Technology and Their Application
1. Auflage 2014
ISBN: 978-1-4831-8473-9
Verlag: Elsevier Science & Techn.
Format: PDF
Kopierschutz: 1 - PDF Watermark

E-Book, Englisch, 368 Seiten, Web PDF

Annual Review in Automatic Programming focuses on the techniques of automatic programming used with digital computers. Topics covered range from the design of machine-independent programming languages to the use of recursive procedures in ALGOL 60. A multi-pass translation scheme for ALGOL 60 is described, along with some commercial source languages. The structure and use of the syntax-directed compiler is also considered. Comprised of 12 chapters, this volume begins with a discussion on the basic ideas involved in the description of a computing process as a program for a computer, expressed in a formal symbolic language such as ALGOL 60. The emphasis is on the information conveyed by the program constituents (semantics), rather than the particular form used (syntax). Subsequent chapters focus on generalized ALGOL; the design of machine-independent programming languages; JOVIAL, a programming language for real-time command systems; and a complete ALGOL translator, expressed in ALGOL itself. A detailed description of the compiler compiler is also presented, together with the Rapidwrite program. The final chapter is devoted to file processing in SEAL (Standard Electronic Accounting Language). This monograph will be of interest to computer programmers.

Autoren/Hrsg.

Goodman, Richard

Inhaltsverzeichnis

1;Front Cover;1
2;Annual Review in Automatic Programming;4
3;Copyright Page;5
4;Table of Contents;8
5;What is A.P.I.C.?;6
6;Chapter 1. The Description of Computing Processes: Some Observations on Automatic Programming and ALGOL 60;10
6.1;I. GENERAL REMARKS;11
6.2;II. ALGOL 60;13
6.3;III. OUTLINE OF THE SUGGESTED SEMANTICS;15
6.4;IV. DISCUSSION;22
6.5;V. ACKNOWLEDGEMENTS;24
6.6;REFERENCES;24
7;Chapter 2. Generalized ALGOL;26
8;Chapter 3. On the Design of Machine Independent Programming Languages;36
8.1;INTRODUCTION;36
8.2;ON GOOD USE OF A MACHINE;37
8.3;ON THE NEEDS OF THE USER;40
8.4;ON SEMANTIC DEFINITION AND THE NEED FOR CONVERSATION;41
8.5;ON UNNECESSARY REDUNDANCY AND OPTIONAL INFORMATION;44
8.6;ON SOME PROPOSALS BY STRACHEY AND WILKES;49
8.7;ACKNOWLEDGEMENT;51
9;Chapter 4. The Use of Recursive Procedures in ALGOL 60;52
9.1;I. INTRODUCTION;52
9.2;II. INDIRECT RECURSIVITY;52
9.3;III. DIRECT RECURSIVITY;56
9.4;IV. IMPLEMENTATION OF RECURSIVE PROCEDURES;59
9.5;V. REFERENCES;59
10;Chapter 5. Jovial—A Programming Language for Real-time Command Systems;62
10.1;INTRODUCTION;62
10.2;NOTATION;65
10.3;ALPHABET AND VOCABULARY;66
10.4;COMMENTS;72
10.5;CLAUSES;72
10.6;SENTENCES;80
11;Chapter 6. Towards an ALGOLTranslator;130
11.1;1. INTRODUCTION;130
11.2;2. THE STRUCTURE OF AN ALGOL MACHINE;131
11.3;3. THE INPUT FORMAT;134
11.4;4. THE PROBLEM IN THE LARGE;137
11.5;5. 'ALGOL IN ALGOL';139
11.6;6. THE FIRST PASS;141
11.7;7. FORWARD REFERENCES;142
11.8;8. THE SECOND AND THIRD PASSES;144
11.9;9. THE TRANSLATION PROCESS;148
11.10;10. FURTHER WORK;155
11.11;11. CONCLUSIONS;158
11.12;APPENDIX I. FIRST THREE PASSES AND INTERPRETER;161
11.13;APPENDIX II. TEST PROGRAM No. 3;170
12;Chapter 7. A Multi-pass Translation Scheme for ALGOL 60;172
12.1;1. INTRODUCTION;172
12.2;2. BASIC STRUCTURE AND OBJECTS OF THE SCHEME;172
12.3;3. A BRIEF DESCRIPTION OF KDF9 IN TERMS OF ITS USER CODE;173
12.4;4. THE STORAGE ALLOCATION SYSTEM;175
12.5;5. PROCEDURE CLASSIFICATION;182
12.6;6. OPTIMIZATION OF FOR STATEMENTS AND SUBSCRIPTED VARIABLES;190
12.7;7. TRANSLATION;203
12.8;8. INPUT AND SYNTACTIC CHECK;212
12.9;9. CONCLUSIONS;213
12.10;ACKNOWLEDGEMENTS;213
12.11;REFERENCES;213
13;Chapter 8. The Structure and Use of the Syntax Directed Compiler;216
13.1;THE META LANGUAGE;216
13.2;SOME TYPICAL META LINGUISTIC CONSTRUCTIONS FOR AN ALGEBRAIC COMPILER;219
13.3;THE TRANSLATOR;232
14;Chapter 9. The Compiler Compiler;238
14.1;INTRODUCTION;238
14.2;FORMAT GLASS;243
14.3;FORMAT;244
14.4;PSEUDO-IDENTIFIERS;244
14.5;SOME EXAMPLES OF THE USES OF PHRASES AND FORMATS;245
14.6;THE ROLE OF PHRASE DEFINITIONS AND [SS];245
14.7;IGNORE;246
14.8;FORMAT ROUTINE;247
14.9;BUILT-IN INSTRUCTIONS;248
14.10;SOME EXAMPLES OF FORMAT ROUTINES;259
14.11;PRELOADED AUXILIARY FORMATS;267
14.12;OTHER MASTER STATEMENTS;277
14.13;REFERENCES;280
14.14;APPENDIX. LIST OF BUILT-IN AND PRELOADED PHRASES AND FORMATS;281
14.15;APPENDIX I. SERIAL NUMBERS OF BASIC SYMBOLS;284
15;Chapter 10.
Progress in Some Commercial Source Languages;286
15.1;1. PREFACE;286
15.2;2. GENERAL;287
15.3;3. COBOL;288
15.4;4. I.B.M. COMMERCIAL TRANSLATOR;291
15.5;5. FACT;293
15.6;6. NEBULA;295
15.7;7. A COMPARISON OF THE CAPABILITIES IN THE ABOVE LANGUAGES;296
15.8;8. RAPIDWRITE;298
15.9;9. CLEO;301
15.10;10. FILECODE;303
15.11;11. CONCLUSION;306
15.12;REFERENCES;306
16;Chapter 11. Rapidwrite;308
16.1;WHAT RAPIDWRITE ACHIEVES;308
16.2;READABILITY;309
16.3;SIMPLICITY;313
16.4;FIXED FORMAT;315
16.5;NATURAL LANGUAGE TRANSLATION;316
16.6;CONCLUSION;318
17;Chapter 12. 'File Processing' in SEAL;320
17.1;1. INTRODUCTION;320
17.2;2. THE ORGANIZATION OF FILES;321
17.3;3. THE STRUCTURE OF DATA WITHIN FILES;325
17.4;4. PROCESSING RECORDS;329
17.5;5. CONCLUSIONS;333
17.6;EDITORIAL NOTE;334
18;APPENDIX: Two Papers on an ALGOL Translator for the X1;336
18.1;An ALGOL 60 Translator for the X1;338
18.1.1;INTRODUCTION;338
18.1.2;PRESUPPOSITIONS AND INTENTIONS;339
18.1.3;ARITHMETIC;340
18.1.4;ARRAYS;343
18.1.5;SIMULTANEOUS ASSIGNMENTS;344
18.1.6;PROCEDURES AND BLOCKS;345
18.1.7;THE DISPLAY;349
18.1.8;ACTUAL AND FORMAL PARAMETERS;351
18.1.9;CONCLUDING REMARKS;352
18.1.10;REFERENCES;354
18.2;Making a Translator for ALGOL 60;356
19;Contents of Volume 1;366
20;Contents of Volume 2;368