Zur Elimination von Prozedurschachtelungen

Abstract

On the Elimination of Procedure Nestings. In ALGOL-like programming languages with procedures there are several properties of programs concerning procedures that may be used to improve resp. optimise the performance of the runtime system. In these considerations problems very soon arise, because in general one has to discuss programs with an arbitrary nesting of procedure declarations. This paper shows that an arbitrary ALGOL 60-program can be transformed into an ALGOL 60-program which has a maximal procedure nesting 2, and both programs define the same input-output function. In order to prove this property a new notion for equivalence of ALGOL-like programs with procedures is introduced.Zur Elimination von Prozedurschachtelungen. In ALGOL-~ihnlichen Programmiersprachen mit Prozeduren gibt es im Zusammenhang mit diesen Prozeduren eiue Reihe yon Programmeigenschaften, die zu einer Verbesserung des Laufzeitsystems benutzt werden k6nnen. Bei solchen 13berlegungen treten jedoch h~iufig Probleme auf, da man Programme mit beliebigen Prozedurschachtelungen betrachten muB. Es wird nun gezeigt, dab sich beliebige ALGOL-60-Programme in funktional aquivalente Programme mit einer maximalen Prozedurschachtelungstiefe 2 transforrnieren lassen. Als HilfsmitteI wird hierzu ein neuer Aquivalenzbegriff fiir ALGOL-~ihnliche Programme mit Prozeduren eingefiihrt.