Zusammenfassung
Vor kurzem zeigte Kurt Mehlhorn — angeregt durch eine Arbeit von S.A. Cook — wie deterministische Kellerautomaten in einem günstigen Platz/Zeitverhältnis auf einer RAM implementiert werden können. Seine Arbeit gibt eine Methode, die auf die platz/zeiteffiziente Realisierung des Laufzeitkellers blockstrukturierter Programmiersprachen verallgemeinert werden kann. Damit gelingt die Lösung einer Fragestellung von G. Hotz. Wir betrachten das Problem, eine spezielle Art von gerichteten, bewerteten Graphen (Gebirgen) zu markieren. Ein Gebirge ist durch die Höhe eines Kellers in Abhängigkeit vom betrachteten Zeitpunkt definiert. Die Bewertung der Knoten ist durch die Zahl der von dem zugeordneten Kellerblock benötigten Speicherplätze gegeben.
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
S.A. Cook: Deterministic CFL’s are accepted simultaneously in polynomial time and log squared tape, 11th ACM-STOC, 1979, 338–345
E.M. Gurari, O.H. Ibarra: On the Space Complexity of Recursive Algorithms, Inf. Proc. Letters, Vol. 8, No. 5, 1979, 267–272
G. Hotz: Grundlagen einer Theorie der Programmiersprachen II: Rekursive und nichtrekursive Unterprogramme, FB 10, Universität des Saarlandes, Bericht Nr. A 01/72, 1972
H. Kopp: Beiträge zur Theorie der Programmiersprachen, BMFT-GMD 97, 1975
K. Mehlhorn: Pebbling Mountain Ranges and its Application to DCFL-Recognition, Bericht Nr. A 79/13, FB 10 der Universität des Saarlandes, erscheint bei 7. ICALP, Nordwijkerhout 1980
B.H. Schmidt: über den Zusammenhang von Platz und Zeit bei der Implementierung von Blockstrukturen, Dissertation, FB 10, Universität des Saarlandes, in Vorbereitung
S. Swami, J. Savage: Space-Time Tradeoffs for linear Recursion, 6th ACM Symposium on Principles of Programming Languages, 1979, 135–142
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1980 Springer-Verlag Berlin · Heidelberg
About this paper
Cite this paper
Schmidt, B.H. (1980). Platz- und Zeiteffiziente Realisierung des Laufzeitkellers dei Blockstrukturierten Programmiersprachen. In: Wilhelm, R. (eds) GI - 10. Jahrestagung. Informatik-Fachberichte, vol 33. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-67838-7_30
Download citation
DOI: https://doi.org/10.1007/978-3-642-67838-7_30
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-10388-2
Online ISBN: 978-3-642-67838-7
eBook Packages: Springer Book Archive