Advertisement

Entscheidbarkeitsprobleme Bei Der Übrestezung Von Programmen Mit Einparametrigen Prozeduren

  • W. Lippe
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. [1]
    Büchi, J.R.: Regular canonical systems Arch. Math. Logik Grundlagenforschung 14(1961), 143–172Google Scholar
  2. [2]
    Ginsburg, S., Greibach S.A. and Harrison, M.A.: Stack automata and compiling, J. ACM 14,1 (Jan. 1967), 172–201Google Scholar
  3. [3]
    Koster, C.H.A.: On infinite modes, ALGOL Bulletin AB 30.3.3, Feb. 1969, pp. 61–69Google Scholar
  4. [4]
    Langmaack, H.: On correct procedure parameter transmission in higher programming languages, Acta Informatica, Vol. 2, 1973Google Scholar
  5. [5]
    Langmaack, H.: On procedures as open subroutines, Bericht A 73/04, Institut für Angew. Math. und Informatik der Univ. des SaarlandesGoogle Scholar
  6. [6]
    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-07Google Scholar
  7. [7]
    Hilbert, D. Ackermann, W.: Grundzüge der theoretischen Logik Springer Verlag 1972Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1974

Authors and Affiliations

  • W. Lippe
    • 1
  1. 1.Angewandte Mathematik und Informatik der Universität des Saarlandes66 Saarbrücken Im Stadtwald

Personalised recommendations