This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Literatur
Büchi, J.R.: Regular canonical systems Arch. Math. Logik Grundlagenforschung 14(1961), 143–172
Ginsburg, S., Greibach S.A. and Harrison, M.A.: Stack automata and compiling, J. ACM 14,1 (Jan. 1967), 172–201
Koster, C.H.A.: On infinite modes, ALGOL Bulletin AB 30.3.3, Feb. 1969, pp. 61–69
Langmaack, H.: On correct procedure parameter transmission in higher programming languages, Acta Informatica, Vol. 2, 1973
Langmaack, H.: On procedures as open subroutines, Bericht A 73/04, Institut für Angew. Math. und Informatik der Univ. des Saarlandes
Zosel, M.: A formal grammar for the representation of modes and it's application to ALGOL 68, Dissertation 1971, Univ. of Washington, Bericht Nr. TR 71-10-07
Hilbert, D. Ackermann, W.: Grundzüge der theoretischen Logik Springer Verlag 1972
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1974 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lippe, W. (1974). Entscheidbarkeitsprobleme Bei Der Übrestezung Von Programmen Mit Einparametrigen Prozeduren. In: Schlender, B., Frielinghaus, W. (eds) GI Gesellschaft für Informatik e.V. 3. Fachtagung über Programmiersprachen Kiel, 5.–7. März 1974. Lecture Notes in Computer Science, vol 7. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-06666-7_40
Download citation
DOI: https://doi.org/10.1007/3-540-06666-7_40
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-06666-8
Online ISBN: 978-3-540-37935-5
eBook Packages: Springer Book Archive