|
 ABSTRACT
Once the general principles of compilation by semantic attributes have been exposed, it is then demonstrated, with the help of a simple example, how such an approach leads naturally to an amelioration of the generated code without resorting to any special optimization treatment. Also included is the determination of basic blocks of a program, the fundamental elements in code optimization, by the method of attributes. This offers the possibility of formalizing semantically the principal optimization algorithms. To our knowledge this is the very first attempt undertaken to describe optimizing compilers methodically.
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
D.E. KNUTH Mathematical Systems Theory, 2,2, 1968. "Semantic of Context-Free Languages."
|
| |
2
|
D.E. KNUTH Stanford University Computer Science Departmenta, Report No. CS169, July 1970. "Examples of Formal Semantics."
|
| |
3
|
|
 |
4
|
|
| |
5
|
P.B. SCHNECK and E. ANGEL The Computer Journal, 16, 4, 1973. "A FORTRAN to FORTRAN Optimizing Compiler."
|
| |
6
|
D. NEEL IRIA-LABORIA BP.5, 78150 Le Chesnay, France. "Introduction à l'Optimisation de Code Généré par Attributs."
|
| |
7
|
M. AMIRCHAHY, M. MAZAUD and D. NEEL Rapport LABORIA n° 59, Février 1974. "Optimisation de Code Généré par Attributs."
|
| |
8
|
D. NEEL and M. AMIRCHAHY IRIA-LABORIA BP.5, 78150 Le Chesnay, France. "Removal of Invariant Statements from Programme Loops by Semantic Attributes Method."
|
| |
9
|
|
| |
10
|
|
| |
11
|
L. BLAIZOT Rapport LABORIA n° 20, Juin 1973. "DELTA : Système de DEscription de Langages et Traducteurs par Attributs."
|
|
Adobe Acrobat
QuickTime
Windows Media Player
Real Player
Pdf
D.3