Abstract
We described the solution of the analysis problem in the BETA multi-language system. The key moment here is joining the analysis algorithms at the isolated stage of the optimization phase. From our point of view, such a stage is necessary in any well-developed optimizing compiler for finding information and control connections and frequency relations between program objects. This stage can be considered as a result of applying to the optimization phase such an universal optimization algorithm as "unloading of repeated parts".
Further, the described information can be used not only for the needs of optimization but also in program debugging, verification, desequentialization, etc. Thus, there are ample opportunities for application of the above analysis algorithms.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
A.P. Ershov (Ed.). ALPHA — an automatic programming system. Academic Press, London, 1971.
F.E.Allen. Program optimization. Annual Review in Automatic Programming, Vol.5, Pergamon, N.Y., 1969.
P.B.Schneck and W.C.Medlock. Object code optimization. Comm. ACM, Vol.12, No.1, 1969.
V.V. Grushetsky, A.P. Ershov, S.B. Pokrovsky, I.V. Pottosin. Decomposition, synthesis and optimization methods in a many-language programming system. Elektronische Informationsverarbeitung und Kybernetik, Heft 4–6, 1975.
G.G. Stepanov. Generation methods in a multi-language programming system. Ibid.
A.P. Ershov, S.B. Pokrovsky, V.K. Sabelfeld. Internal language in a multi-language programming system as a mean of a formalization of the semantics of source languages. Ibid.
V.N. Kasyanov. Some properties of fully reducible graphs. Information Processing Letters, No.2, 1973.
A.P. Ershov. On program schemata over common and distributed memory. Kibernetika, No.4, 1968.
I.V. Pottosin. Global optimization: a practical approach. In these Proceedings.
V.N. Kasyanov. On finding arguments and results of statements in schemata with indirect addressing. Programmirovaniye, No. 1, 1976.
V.N. Kasyanov. Distinguishing hammocks in a directed graph. Soviet Math. Dokl., Vol. 16, No. 2, 1975.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1977 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Kasyanov, V.N., Trakhtenbrot, M.B. (1977). Program structure analysis in a global optimization. In: Ershov, A., Koster, C.H.A. (eds) Methods of Algorithmic Language Implementation. Lecture Notes in Computer Science, vol 47. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-08065-1_6
Download citation
DOI: https://doi.org/10.1007/3-540-08065-1_6
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-08065-7
Online ISBN: 978-3-540-37510-4
eBook Packages: Springer Book Archive