Zusammenfassung
Beim Bau von Übersetzern für ALGOL-ähnliche Programmiersprachen erfordert die Behandlung von Prozeduren einen besonderen Aufwand. Deswegen ist es wünschenswert, Algorithmen zu besitzen, die gewisse Eigenschaften von Programmen mit Prozeduren bereits zur Übersetzungszeit entscheiden können, um so durch eine differenziertere Behandlung der Prozeduren unnötigen Aufwand einzusparen und effizientere Zielprogramme zu erzeugen. Zu diesen Eigenschaften gehören z.B.
-
1)
die formal korrekte Parameterübergabe in einem Programm mit Prozeduren,
-
2)
die formale Erreichbarkeit einer Prozedur,
-
3)
die formale Rekursivität einer Prozedur,
-
4)
die formal starke Rekursivität einer Prozedur,
-
5)
die Makro-Programm-Eigenschaft eines Programms mit Prozeduren.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literatur
Ginsburg,S.,Greibach,S.A. und Harrison,M.A.: Stack automata and compiling, J.ACM. 14,1 (Jan. 67 ), 172–201
Brainerd,W.: Tree generating regular systems, Information and Control 14 (1969), 217–231
Doner,J.: Tree acceptors and some of their applications, Journal of Computer and System Sciences 4 (1979), 406–451
kaufholz,G.,Lippe,W.M.: A note on a paper of H. Langmaack about procedure parameter transmission, Bericht A 74/06 des Fachbereichs Angewandte Mathematik und Informatik der Universität des Saarlandes (1974)
Langmaack,H.: On correct procedure parameter transmission in higher programming languages, Acta Informatica Vol. 2, (1973)
Langmaack,H.: On procedures as open subroutines I,II Acta Informatica Vol.2, 1973 und Vol.3,(1974)
Lippe,W.M.: Entscheidbarkeitsprobleme bei der Übersetzung von Programmen mit einparametrigen Prozeduren, Lecture Notes in Computer Scince Nr.7, Springer Verlag 1974
Rounds,W.C.: Mappings and grammars on trees, Mathematical systems theorie, Vol. 4, Nr. 3, 257–287
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1976 Springer-Verlag Berlin · Heidelberg
About this paper
Cite this paper
Lippe, WM. (1976). Über die Entscheidbarkeit der Formalen Erreichbarkeit von Prozeduren bei Monadischen Programmen. In: Schneider, HJ., Nagl, M. (eds) Programmiersprachen. Informatik-Fachberichte, vol 1. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-66319-2_12
Download citation
DOI: https://doi.org/10.1007/978-3-642-66319-2_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07619-3
Online ISBN: 978-3-642-66319-2
eBook Packages: Springer Book Archive