Handbook for Automatic Computation - Albert A. Grau

. .

Sommaire:
1. Introduction.- 2. Principles of Algol translation.- 2.1. Basic linguistic definitions.- 2.2. The Backus normal form.- 2.3. The analyzing process.- 2.4. The method of the Klammergebirge.- 2.5. Recursive sequential methods and push down lists.- 2.6. Example for the use of two push down lists and of precedence rules.- 2.7. The concept of recursive translation.- 2.8. Organization of the translator.- 3. Languages involved in the translation process.- 3.1. Source language.- 3.2. Target language.- 3.3. Meta-language for describing the translator.- 4. Correspondence between elements of source and target language.- 4.1. Declarations in general.- 4.2. Declaration of variables and arrays and data storage allocation in the main program.- 4.3. Handling of types.- 4.4. Assignment statements.- 4.5. Boolean expressions.- 4.6. Conditional statements and expressions.- 4.7. For statements.- 4.8. Go to statement and switch declaration.- 4.9. Procedures and dynamic storage.- 4.10. Procedure calls and declarations.- 5. Recursive address calculation.- 5.1. Introduction.- 5.2. Assumptions necessary for the use of recursive address calculation.- 5.3. Use of recursive address calculation for one loop.- 5.4. Nested loops.- 5.5. Loops with more than one list element.- 5.6. Further optimization possibilities.- 6. Run time organization.- 6.1. The instruction storage allocation.- 6.2. The instruction procedure call.- 6.3. The instruction formal procedure call.- 6.4. The instruction normal procedure exit.- 6.5. The instruction jump to.- 6.6. The instruction formal procedure exit.- 6.7. The instructions name address and name call.- 6.8. The instruction name procedure exit.- 7. Model translator. Description.- 7.1. Introduction.- 7.2. Pass 1. The preparatory pass.- 7.3. Pass 2. Theimplementation of recursive address calculation.- 7.4. Pass 3. Decomposition and production of target program.- 7.5. Editorial functions.- 7.6. Run time system. The target language program interpreter.- 8. Algol 60 model translator. Formal part.- Pass 1: preparatory pass.- Pass 2: recursive address calculation pass.- Pass 3: decomposition and generation pass.- Check routine: check procedure calls and substitutions of formal parameters by actuals.- Check routine: check agreeability of actual parameter and specification.- Run time system: target language program interpreter.- START TRANSLATION.- Appendix: Correspondence matrix for actual and formal parameters.