Nicht aus der Schweiz? Besuchen Sie lehmanns.de
Annual Review in Automatic Programming -

Annual Review in Automatic Programming (eBook)

International Tracts in Computer Science and Technology and Their Application

Richard Goodman (Herausgeber)

eBook Download: PDF
2014 | 1. Auflage
368 Seiten
Elsevier Science (Verlag)
978-1-4831-8473-9 (ISBN)
Systemvoraussetzungen
54,95 inkl. MwSt
(CHF 53,65)
Der eBook-Verkauf erfolgt durch die Lehmanns Media GmbH (Berlin) zum Preis in Euro inkl. MwSt.
  • Download sofort lieferbar
  • Zahlungsarten anzeigen
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.
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.

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

Erscheint lt. Verlag 9.5.2014
Sprache englisch
Themenwelt Mathematik / Informatik Informatik Datenbanken
Mathematik / Informatik Informatik Theorie / Studium
ISBN-10 1-4831-8473-0 / 1483184730
ISBN-13 978-1-4831-8473-9 / 9781483184739
Haben Sie eine Frage zum Produkt?
PDFPDF (Adobe DRM)
Größe: 23,2 MB

Kopierschutz: Adobe-DRM
Adobe-DRM ist ein Kopierschutz, der das eBook vor Mißbrauch schützen soll. Dabei wird das eBook bereits beim Download auf Ihre persönliche Adobe-ID autorisiert. Lesen können Sie das eBook dann nur auf den Geräten, welche ebenfalls auf Ihre Adobe-ID registriert sind.
Details zum Adobe-DRM

Dateiformat: PDF (Portable Document Format)
Mit einem festen Seiten­layout eignet sich die PDF besonders für Fach­bücher mit Spalten, Tabellen und Abbild­ungen. Eine PDF kann auf fast allen Geräten ange­zeigt werden, ist aber für kleine Displays (Smart­phone, eReader) nur einge­schränkt geeignet.

Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen eine Adobe-ID und die Software Adobe Digital Editions (kostenlos). Von der Benutzung der OverDrive Media Console raten wir Ihnen ab. Erfahrungsgemäß treten hier gehäuft Probleme mit dem Adobe DRM auf.
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen eine Adobe-ID sowie eine kostenlose App.
Geräteliste und zusätzliche Hinweise

Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.

Mehr entdecken
aus dem Bereich
der Grundkurs für Ausbildung und Praxis

von Ralf Adams

eBook Download (2023)
Carl Hanser Verlag GmbH & Co. KG
CHF 29,30
Das umfassende Handbuch

von Wolfram Langer

eBook Download (2023)
Rheinwerk Computing (Verlag)
CHF 34,10
Das umfassende Lehrbuch

von Michael Kofler

eBook Download (2024)
Rheinwerk Computing (Verlag)
CHF 34,10