Skip to main content

Sequentielle Formelübersetzung

Sequential Formula Translation

  • Chapter
Pioneers and Their Contributions to Software Engineering

Zusammenfassung

Die Syntax einer Formelsprache wie ALGOL läßt sich als Folge von Zuständen beschreiben, die durch ein Keller genanntes Element angezeigt werden. Die Übergänge werden gesteuert durch zulässige Zustand-Zeichen-Paare, die sich in Form einer Übergangsmatrix darstellen lassen. Diese Beschreibung liefert gleichzeitig eine äußerst einfache Vorschrift zur Übersetzung der Anweisungen der Formelsprache in Maschinenprogramme. Lediglich Optimisierungsprozesse wie die rekursive Adressenfortschaltung entziehen sich der sequentiellen Behandlung.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. H. Goldstine and J von Neumann: Planning and Coding for an Electronic Computing Instrument. Institute for Advanced Study, Princeton, X. J., 1947/48.

    Google Scholar 

  2. International Business Machines Corp., FORTRAN Manual.

    Google Scholar 

  3. W. S. Melahn: A description of a cooperative venture in the production of an automatic coding system, Journ. Assoc. Comp. Mach. 3 (1956), S. 266–271.

    Article  Google Scholar 

  4. H. Rutishauser: Über automatische Rechenplanfertigung bei programmgesteuerten Rechenanlagen, Z. Angew. Math. Mech. 31 (1951), 255.

    Article  Google Scholar 

  5. H. Ruthisauser: Automatische Rechenplanfertigung bei programmgesteuerten Rechenmaschinen, Mitt. Inst. f. Angew. Math. der ETH Zürich, Nr. 3, (1952).

    Google Scholar 

  6. K. Sarnelson: Probleme der Programmierungstechnik. Intern. Kolloquium über Probleme der Rechentechnik, Dresden 1955, S. 61-68.

    Google Scholar 

  7. P. B. Sheridan: The arithmetic translator-compiler of the IBM Fortran automatic coding system, Com. ACM Bd. 2, (1959) 2, S. 9–21.

    Article  MATH  Google Scholar 

  8. M. V. Wilkes; D. J Wheeler; S. Gill: The preparation of programmes for an electronic digital computer (Cambridge, Mass., 1951).

    Google Scholar 

  9. M. V. Wilkes: The Use of a Floating Address System for Orders in an Automatic Digital Camputer. Proc. Cambridge Philos. Soc. 49, (1953) 84–89.

    Article  MathSciNet  MATH  Google Scholar 

  10. Charles W. Adams and J. H. Laning jr.: The M. I. T. System of Automatic Coding; Comprehensive, Summer Session and Algebraic, in: Symposium on Automatic Programming for Digital Computers, US Department of Commerce.

    Google Scholar 

  11. ACM Committee on Programming Languages and GAMM Committee on Programming: Report on the Algorithmic Language ALGOL, edited by A. J. Perils and K. Samelson. Num. Math. 1 (1959), S. 41-60.

    Google Scholar 

  12. H. Zemanek: Die algorithmische Formelsprache ALGOL. Elektron. Rechenanl. 1 (1959), S. 72–79 und S. 140-143.

    Google Scholar 

  13. F. L. Bauer: The Formula Controlled Logical Computer Stanislaus, erscheint in Math. Tabl. Aids Comp.

    Google Scholar 

  14. C. Böhm: Calculatrices digitales. Du déchifrage de formules logico-mathématiques par la machine même dans la conception du programme (Dissertation, Zürich 1952) Annali dei Matematica pura ed applicata. Ser. 4, 37 (1954), S. 5–47.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Samelson, K., Bauer, F.L. (2001). Sequentielle Formelübersetzung. In: Broy, M., Denert, E. (eds) Pioneers and Their Contributions to Software Engineering. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-48354-7_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-48354-7_1

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-42290-7

  • Online ISBN: 978-3-642-48354-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics