Zusammenfassung
Auf die Schwierigkeiten, die beim Programmieren in einer Maschinensprache auftreten, geht schon W. Knödel [29] ein. Nicht nur, daß der Programmierer darauf achten muß, daß das zu lösende Problem richtig formuliert und die Lösung durch einen entsprechenden Algorithmus gefunden werden kann, er muß sich darüber hinaus auch mit Dingen befassen, die mit seiner ursprünglichen Problemstellung nichts zu tun haben. Dazu gehört z. B. nicht nur die einwandfreie Beherrschung der Maschinenbefehle, sondern auch die Kenntnis einer großen Zahl sich oft ändernder Konventionen, denen ein Programm genügen muß, das innerhalb eines automatisch arbeitenden Betriebssystems laufen soll. Diese kurz angedeuteten Schwierigkeiten lassen sich größtenteils umgehen, wenn der Programmierer sein zu lösendes Problem in einer problemorientierten Formelsprache beschreibt und es einem speziellen Maschinenprogramm, dem sogenannten Compiler überläßt, die fehlerfreie Übersetzung in die Maschinensprache durchzuführen. Der Compiler wird gleichzeitig das zu übersetzende Programm auf syntaktische Richtigkeit überprüfen und dem Programmierer eine Mitteilung machen, wenn er einen syntaktischen Fehler gefunden hat bzw. einen solchen vermutet.
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
Arden, B. W., B. A. Galler, and R. M. Graham: An Algorithm for Translating Boolean Expressions. J. ACM 5, 222–239 (1962).
Bauer, F. L., und K. Samelson: Sequentielle Formelübersetzung. Elektronische Rechenanlagen Heft 4, 176–182 (1959).
Baumann, R.: ALGOL-Manual der ALCOR-Gruppe. München: R. Oldenbourg. 1965.
Bottenbruch, H. H., and A. A. Grau: On Translation of Boolean Expressions. Comm. ACM 5, 384–386 (1962).
Bourroughs Corporation: The Descriptor—a Definition of the B 500 Information Processing System. Bulletin 5000–20002-P, 2-4 (1961).
Brooker, R. A., and D. Moris: A General Translation Program for Phrase Structure Languages. J. ACM 5, 1–10 (1962).
Burkhardt, W. H.: Metalanguage and Syntax Specification. Comm. ACM 8, 304–305 (1965).
Evans, A., Jr., A. J. Perlis, and H. van Zoeren: The Use of Threaded Lists in Constructing a Combined ALGOL and Machine-Like Assembly Processor. Comm. ACM 4, 36–41 (1961).
Feurzeig, W., and E. T. Irons: Comments on the Implementation of Recursive Procedures and Blocks in ALGOL 60. Comm. ACM 4, 65–69 (1961).
Floyd, R. W.: An Algorithm Defining ALGOL Assignment Statements. Comm. ACM 3, 170–171 (1960).
Floyd, R. W.: Note of Amplification. Comm. ACM 3, 346 (1960).
Floyd, R. W.: An Algorithm for Coding Efficient Arithmetic Operations. Comm. ACM 4, 42–51 (1961).
Gear, C. W.: High Speed Compilation of Efficient Object Code. Comm. ACM 8, 483–488 (1965).
Neumann v., J., and H. Goldstine: Planing and Coding for an Electronic Computing Instrument. Inst, for Advanced Study, Princeton, N. J., 1947.
Gorn, S.: Specification Language for Mechanical Languages and their Processors. Comm. ACM 4, 532–542 (1961).
Grau, A. A.: Recursive Processes and ALGOL Translation. Comm. ACM 4, 10–15 (1961).
Gries, D., M. Paul, and H. R. Wiehle: Some Techniques Used in the ALCOR ILLINOIS 7090. Comm. ACM 8, 496–500 (1965).
Griffiths, T. V., and S. R. Petrick: On the Relative Efficiencies of Context-Free Grammar Recognizers. Comm. ACM 8, 289–300 (1965).
Hamblin, C. L.: Translation to and from Polish Notation. Comput. J. 5, 210–213 (1962).
Hellerman, H.: Addressing Multidimensional Arrays. Comm. ACM 4, 205–207 (1962).
Huskey, H. D., and W. H. Wattenburg: A Basic Compiler for Arithmetic Expressions. Comm. ACM 4, 3–9 (1961).
Huskey, H. D., and W. H. Wattenburg: Compiling Techniques for Boolean Expressions and Conditional Statements in ALGOL 60. Comm. ACM 4, 70–75 (1961).
Ingerman, P. Z.: Thunks. A way of Compiling Procedure Statements with Some Comments on Procedure Declarations. Comm. ACM 4 55–58 (1961).
Ingerman, P. Z.: Dynamic Declarations. Comm. ACM 4, 59–60 (1961).
Irons, E. T.: A Syntax Directed Compiler for ALGOL 60. Comm. ACM 4, 51–55 (1961).
Irons, E. T., siehe Feurzeig, W.
Iverson, K. E.: A Method of Syntax Specification. Comm. ACM 7, 588–589 (1964).
Kanner, H., P. Kosinski, and L. Robinson: The Structur of Yet Another ALGOL Compiler. Comm. ACM 8, 427–438 (1965).
Knödel, W.: Aufbau, Arbeitsweise und Programmierung digitaler Rechner als Werkzeuge der nicht-numerischen Datenverarbeitung. In diesem Band.
Knuth, D. E.: Backus-normal-form vs. Backus-Naur-form. Comm. ACM 7, 735 (1964).
Lucas, P.: Die Strukturanalyse von Formelübersetzern. Elektronische Rechenanlagen 1961, 159-167.
McCarthy, J.: Recursive Functions of Symbolic Expressions and Their Computation by Machine. Comm. ACM 3, 184–195 (1960).
McIsaac, P.: Combining ALGOL Statement Analysis with Validity Checking. Comm. ACM. 3, 418–419 (1960).
Nather, R. E.: On the Compilation of Subscripted Variables. Comm. ACM 4, 169–171 (1961).
Naur, P. (Ed.): Report on the Algorithmic Language ALGOL 60. Comm. ACM 3, 299–314 (1960).
Naur, P. (Ed.): Revised Report on the Algorithmic Language ALGOL 60. Comm. ACM 6, 1–17 (1963).
Rabinowitz, I. N.: Report on the Algorithmic Language FORTRAN II. Comm. ACM 6, 327–337 (1962).
Rutishauser, H.: Über automatische Rechenplanfertigung bei programmgesteuerten Rechenanlagen. Z. Angew. Math. Mech. 31, 255 (1951).
Rutishauser, H.: Automatische Rechenplanfertigung bei programmgesteuerten Rechenmaschinen. Basel: Birkhäuser. 1952.
Sattley, K.: Allocation of Storage for Arrays in ALGOL 60. Comm. ACM 4, 60–65 (1961).
Sheridan, P. B.: The Arithmetic Translator-compiler of the IBM FORTRAN Automatic Coding System. Comm. ACM 2, 9–21 (1959).
Standards: ASA proposed standards for FORTRAN and BASIC FORTRAN. Comm. ACM 7 (1964).
Steinbuch, K.: Taschenbuch der Nachrichtenverarbeitung, S. 1367 ff. Berlin-Göttingen-Heidelberg: Springer. 1962.
Taylor, W., L. Turner, and R. Waychoff: A Syntactical Chart of ALGOL 60. Comm. ACM 4, 393 (1961).
Wegstein, J. H.: From Formulas to Computer Oriented Language. Comm. ACM 2, 6–7 (1959).
Zemanek, H.: Die algorithmische Formelsprache ALGOL. Elektronische Rechenanlagen 1959, 72-79, 140-143.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1968 Springer-Verlag/Wien
About this paper
Cite this paper
Fischer, K. (1968). Methoden der Formelübersetzung. In: Gunzenhäuser, R. (eds) Nicht-numerische Informationsverarbeitung. Springer, Vienna. https://doi.org/10.1007/978-3-7091-8202-4_5
Download citation
DOI: https://doi.org/10.1007/978-3-7091-8202-4_5
Publisher Name: Springer, Vienna
Print ISBN: 978-3-7091-8203-1
Online ISBN: 978-3-7091-8202-4
eBook Packages: Springer Book Archive