Zusammenfassung
Aus der sogenannten „automatischen Programmierung” heraus hat sich die maschinelle Verarbeitung von Programmsprachen entwickelt, der heute große praktische Bedeutung zukommt. Die damit verbundene Einsicht in den Aufbau formaler Sprachen zeigt zahlreiche Berührungspunkte mit der mathematischen Logik auf. Die hier in erster Linie interessierenden problemnahen Programmsprachen sind jedoch schon weitgehend gebunden durch Konventionen im Bereich derjenigen wissenschaftlichen Disziplin, der eine solche Sprache dienen soll.
Durch sequentielles Arbeiten mit rekursiven Prozessen kann die praktische Durchführung der maschinellen Verarbeitung — die Übersetzung — zeitlich und speichermäßig höchst effektiv gemacht werden. Der Umfang der Aufgabe, das erzeugte Programm zu optimisieren, also an vorhandene maschinelle Einrichtungen anzupassen, wächst jedoch mit der Allgemeingültigkeit der Sprache, und bisher liegen nur isolierte Ansätze zur Lösung dieser Aufgabe vor.
Angesichts der erheblichen Arbeit, die heute in die Programmierung von Übersetzern gesteckt wird, verdienen die Entwicklung von Metasprachen und von Methoden zur Erzeugung von Übersetzern aus der syntaktischen Beschreibung heraus große Beachtung.
Summary
The methods of processing programming languages by computers, which are of considerable practical importance today, have developed from the so-called “automatic programming”. The insight into the structure of formal languages gained from this development reveals numerous points of contact to formal logics. Problem oriented programming languages, however, which are the primary topic of this article, are to a large extent bound by the conventions of the respective scientific domain which the said programming languages have to serve.
The practical execution of the processing procedure by computers, i. e. the translating, can be made extremely efficient as to profit of time and storage by adopting a sequential mode of working with recursive processes. The problems of optimizing the generated program, i. e. to adapt it to existing hardware, increase with the generality of the language. Up to now only isolated attempts have been made toward solving such problems.
Considerable work is being invested today into the construction of translating programs. Therefore, particular attention should be given to the development of metalanguages and to methods of generating translators from the syntactical description of the language to be translated.
Résumé
Le traitement mécanique des langages de programmation (c’est-à-dire des langages utilisés pour établir les programmes) qui a pris aujourd’hui une grande importance pratique s’est développé à partir de ce qu’on apelle la «programmation automatique». L’aperçu ainsi donné sur la structure des langues formelles, fait ressortir de nombreux points de contact avec la logique formelle. Les langages de programmation touchant aux problèmes, qui nous intéressent surtout ici, sont toutefois déjà fortement liés par des conventions dans le domaine de la discipline scientifique qui les utilise.
On peut rendre l’exécution pratique du traitement mécanique — la traduction — très efficace du point de vue rapidité et capacité de mémoire par des suites d’opération selon des méthodes de récurrence. L’ampleur de la tâche d’optimisation du programme établi, c’est-à-dire l’adaptation de ce dernier aux machines existantes, est d’autant plus grande que le langage est plus général et jusqu’ici on n’en a fait que quelques applications isolées.
En ce qui concerne le travail considérable qui réside dans l’établissement des programmes des traductrices, la mise au point de métalangues et de méthodes d’établissement de traductrices basée sur la description syntactique mérite une grande attention.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Bibliography
Wilkes, M. V., Wheeler, D. G., Gill, S.: The Preparation of Programs for an Electronic Digital Computer. Addison Wesley Press, Cambridge, Mass. 1951. Neuauflage 1957.
von Neumann, J., Goldstine, H. H.: Planning and Coding of Problems for an Electronic Computing Instrument. Report on the Mathematical and Logical Aspects of an Electronic Computing Instrument. The Institute for Advanced Study, Princeton, N. J. 1947/48.
Wilkes, M. V. : The Use of a Floating Address System for Orders in an Automatic Digital Computer. Proc. Cambridge Philos. Soc. 49 (1953), S. 84–89.
Brown, J. H., Carr III J. W.: Automatic Programming and its Development on the MIDAC. Symposium Automatic Programming Digital Computers, Office of Naval Research 13.–14. Mai 1954. PB 111 607, S. 84–97.
Ershov, A. P.: The Work of the Computing Centre of the Academy of Sciences of the USSR in the Field of Automatic Programming. Symposium Mechanisation of Thought Processes, National Physical Lab., Teddington, 24.–27. November 1958, S. 257–278.
Kahrimanian, H. G.: Analytical Differentiation by a Digital Computer. Symposium Automatic Programming Digital Computers, Office of Naval Research, 13.–14. Mai 1954. PB 111 607, S. 6–14.
Shannon, C. E., Weaver, W.: The Mathematical Theory of Communication. University of Illinois Press, Urbana/Ill. 1949.
Rosenbloom, P. C: The Elements of Mathematical Logic. Dover Publ., New York 1950.
Backus, J. W.: The Syntax and Semantics of the Proposed International Algebraic Language of the Zürich ACM-GAMM Conference. Information Processing, Proc. Internat. Conf. UNESCO, Paris, 15.–20. Juni 1959. Verlag Oldenbourg, München 1960, S. 125–132.
Rice, H. G.: The APS III Compiler for the Datatron 204. Manuskript, Westing-house Research Lab., Pittsburgh 1957.
Rich, B.: APT Common Computer Language. Manuskript, Appl. Phys. Lab, Johns Hopkins University, Baltimore, Md. 1957. Siehe auch in: Annual Review in Automatic Programming Vol. 2, herausgegeben von R. Goodman. Pergamon Press, Oxford 1961, S. 141–159 (von R. P. Rich).
Perlis, A. J., Smith, J. W., van Zoeren, H. R.: Internal Translator (IT), a Compiler for the 650. Carnegie Institute of Technology, Computation Center, Pittsburgh 1956. Reproduced by Lincoln Lab. Div. 6, Document 6D-327.
Automatic Programming: The IT Translator. In: Handbook of Automation, Computation and Control Vol. 2, herausgegeben von E. M. Grabbe, et al. John Wiley, New York 1959, S. 2.200 – 2.228.
Bauer, F. L., Botteneruch, H., Rutishauser, H., Samelson, K.: Proposal for a Universal Language for the Description of Computing Processes. Zürich, Mainz, München, Darmstadt (ZMMD-Projekt), April 1958.
Perlis, A. J., Samelson, K. (Herausg.): Report on the Algorithmic Language ALGOL by the ACM Committee on Programming Languages and the GAMM Committee on Programming. Numerische Mathematik 1 (1959) No. 1, S. 41–60.
Preliminary Report — International Algebraic Language. Communications ACM 1 (1958) No. 12, S. 8–22.
Poyen, J.: AP 3 autoprogrammation pour Gamma 60. Chiffres 2 (Juni 1959) No. 2, S. 123–138.
Hopper, G. M.: Automatic Programming, Definitions. Symposium Automatic Programming Digital Computers, Office of Naval Research, 13.–14. Mai 1954. PB 111 607, S. 1–5.
Hopper, G. M.: First Glossary of Programming Terminology. Report to the Association for Computing Machinery (ACM), Juni 1954.
Aiken, H. H. and Staff of the Computation Lab. Harvard Univ.: Description of a Magnetic Drum Calculator. Ann. Comput. Lab. Harvard Univ. Vol. 25. Harvard University Press, Cambridge, Mass. 1952.
Zuse, K.: Ein neues Rechengerät für technische und wissenschaftliche Rechnungen. Techn. Hefte 1 (1958) No. 1, S. 55–58.
Lyndon, R. C: The Zuse Computer. Math. Tabl. Other Aids Comput. 2 (1947), S. 355–359.
Zuse, K.: Der Programmator. Z. angew. Math. Mech. 32 (1952), S. 246.
Rutishauser, H.: Über automatische Rechenplananfertigung bei programmgesteuerten Rechenmaschinen, Z. angew. Math, Mech. 31 (1951), S. 255.
Rutishauser, H.: Automatische Rechenplanfertigung bei programmgesteuerten Rechenmaschinen. Mitt. Inst. Angew. Math. ETH Zürich, No. 3. Verlag Birk-häuser, Basel 1952.
Rutishauser, H.: Automatische Rechenplanfertigung bei programmgesteuerten Rechenmaschinen. Z. angew. Math. Mech. 32 (1952), S. 312–313.
Lorenzen, P.: Einführung in die operative Logik und Mathematik. Springer Verlag, Berlin 1955.
A-2 Compiler Manual. Programming Research Section, Remington Rand Corp.
Automatic Programming: The A-2 Compiler System. Computersand Automation 4 (Sept. 1955), S. 25–31 und 4 (Okt. 1955), S. 15–23.
Adams, Ch. W., Laning, J. H. jr.: The MIT Systems of Automatic Coding: Comprehensive, Summer Session, and Algebraic. Symposium Automatic Programming Digital Computers, Office of Naval Research, 13.–14. Mai 1954. PB 111607, S. 40–68.
Goldfinger, R.: New York University Compiler System. Symposium Automatic Programming Digital Computers, Office of Naval Research, 13.–14. Mai 1954. PB 111 607, S. 30–33.
Backus, J. W., Herrick, H.: IBM 701 Speedcoding and Other Automatic Programming Systems. Symposium Automatic Programming Digital Computers, Office of Naval Research, 13.–14. Mai 1954. PB 111607, S. 106–113.
Müller, D. E.: Interpretive Routines in the ILLIAC Library. Symposium Automatic Programming Digital Computers, Office of Naval Research, 13.–14. Mai 1954. PB 111607, S. 69–73.
Laning, J. H., Zierler, N. : A Program for Translation of Mathematical Equations for Whirlwind I. Engineering Memorandum E-364, Massachusetts Institute of Technology, Cambridge, Mass., Januar 1954.
Gorn, S.: Planning Universal Semi-Automatic Coding. Symposium Automatic Programming Digital Computers, Office of Naval Research, 13.–14. Mai 1954. PB 111607, S. 74–83.
Mehlan, W. S.: A Description of a Cooperative Venture in the Production of an Automatic Coding System. J. Assoc. Computing Mach. 3 (1956), S. 266–271.
Mock, O.: Logical Organization of the PACT I Compiler. J. Assoc. Computing Mach. 3 (1956), S. 279–287.
Baker, Ch. L.: The PACT I Coding System for the IBM Type 701. J. Assoc. Computing Mach. 3 (1956), S. 272–278.
Poley, S., Mitchell, G.: Symbolic Optimum Assembly Programming (SOAP). 650 Programming Bulletin 1, Form 22–6285–1, Internat. Business Machines Corp., New York.
Share Assembly Program (SAP). In: Handbook of Automation, Computation and Control Vol. 2, herausgegeben von E. M. Graeee, et al. John Wiley, New York 1959, S. 2165 – 2167.
UNIVAC Generalized Programming. Remington Rand Univac Div. of Sperry Rand Corp., New York 1957.
Flow-Matic Programming System. Remington Rand Univac Div. of Sperry Rand Corp., New York 1958.
Programmers Reference Manual FORTRAN .Internat. Business Machines Corp., New York 1956.
Programmers Primer for FORTRAN. Internat. Business Machines Corp., New York 1957.
Backus, J. W., et al.: The FORTRAN Automatic Coding System. Proc. Western Joint Computer Conf.,Los Angeles, 26.–28. Februar 1957, S. 188–198.
Backus, J. W.: Automatic Programming: Properties and Performance of FORTRAN Systems I and II. Symposium Mechanisation of Thought Processes, National Physical Lab., Teddington, 24.–27. Nov. 1958, S. 231–255.
UNIVAC Math-Matic Programming System. Remington Rand Univac Div. of Sperry Rand Corp. 1958.
Brooker, R. A.: Some Technical Features of the Manchester Mercury Autocode Programme. Symposium Mechanisation of Thought Processes, National Physical Lab., Teddington, 24.–27. Nov. 1958, S. 201–229.
GAMM Fachausschuß Programmieren (Herausgeber): Vorschläge für eine algorithmische Schreibweise zur Formelübersetzung. Zürich, Mainz, München, Darmstadt, Oktober 1957.
Naur, P. (Editor), et al.: Report on the Algorithmic Language ALGOL 60. Numerische Mathematik 2 (1960) No. 2 S. 106–136. (Desgl. in: Communications ACM 3 (1960) No. 5, S. 299–314.)
Zemanek, H.: Die algorithmische Formelsprache ALGOL. Elektron. Rechenanl. 1 (1959), S. 72–79 und S. 140–143.
Bottenbruch, H. : Erläuterung der algorithmischen Sprache ALGOL anhand einiger elementarer Programmierbeispiele. BI. Dtsch. Ges. Versicherungsmath. 4 (1959) No. 2, S. 199–208.
Stephan, D.: Die Algorithmische Sprache ALGOL 60, an Beispielen erläutert. BI. Dtsch. Ges. Versicherungsmath.5 (1960) No. 1, S. 61–86.
Botteneruch, H.: Übersetzung von algorithmischen Formelsprachen in die Programmsprachen von Rechenmaschinen. Z. math. Logik Grundl. Math. 4 (1958), S. 180–221.
Ljapunov, A. A.: On Logical Schemes of Programming (russ.). Problemi Kiber-netiki 1 (1958), S. 46–74. (Engl. Übers, bei Pergamon Press, London, in Vorbereitung).
Automatic Programming: A Soviet Algebraic Language Compiler. In: Handbook of Automation, Computation and Control Vol. 2, herausgegeben von E. M. Graebe, et al. John Wiley, New York 1959, S. 2228 – 2234.
Conway, M. E.: Proposal for an UNCOL. Communications ACM 1 (1958) No. 10, S. 5–8.
Zuse, K.: Über den allgemeinen Plankalkül als Mittel zur Formalisierung schematisch-kombinatorischer Aufgaben. Archiv der Math. 1 (1948/49) No. 6, S. 441–449.
Zuse, K.: Über den Plankalkül. Elektron. Rechenanl. 1 (1959) No. 2, S. 68–71.
Böhm, C: Calculatrices digitales. Du déchiffrage de formules logico-mathé-matiques par la machine même dans la conception du programme (Dissertation, Zürich 1952). Ann. Mat. pura appl. Ser. 4, 37 (1954), S. 5–47.
Sheridan, P. B.: The Arithmetic Translator-Compiler of the IBM FORTRAN Automatic Coding System. Communications ACM 2 (1959) No. 3, S. 9–21.
Bottenbruch, H.: Einige Überlegungen zur Übersetzung einer algorithmischen Sprache in Maschinenprogramme. Manuskript, Institut für Praktische Mathematik (IPM) der Techn. Hochschule Darmstadt, 1957.
Adams, E. S., Schlesinger, S. L: Simple Automatic Coding Systems. Communications ACM 1 (1958) No. 7, S. 5–9.
Ershov, A. P.: Programming Programme for the BESM Computer (russ.). Verlag der Akademie der Wissenschaften der UdSSR, Moskau 1958. (Engl. Übers, erschienen bei Pergamon Press, London 1960.)
Bauer, F. L.: The Formula-Controlled Logical Computer “Stanislaus”. Mathematics of Computation (MTAC) 14 (1960), S. 64–67.
Samelson, K.: Probleme der Programmierungstechnik. Aktuelle Probleme der Rechentechnik. Ber. Internat. Mathematiker-Kolloquium, Dresden, 22.–27. Nov. 1955. VEB Deutscher Verlag der Wissenschaften, Berlin 1957, S. 61–68.
Namur, P.: Entwurf eines Hochgeschwindigkeits-Rechenautomaten mit Leuchtpunktabtastung als Grundelement. Dissertation, Technische Hochschule Darmstadt, November 1954.
Wegstein, J. H.: From Formulas to Computer Oriented Language. Communications ACM 2 (1959) No. 3, S. 6–8.
Kantorovich, L. V.: On a Mathematical Symbolism Convenient for Performing Machine Calculations (russ.). Doklady AN SSSR 113 (1957) No. 4, S. 738–741.
Samelson, K., Bauer, F. L. : Sequentielle Formelübersetzung. Elektron. Rechenanl. 1 (1959), S. 176–182. (Engl. Übers, in: Communications ACM 3 (1960) No. 2, S. 76–83.)
Arden, B., Graham, R.: On GAT and the Construction of Translators. Communications ACM 2 (1959) No. 7, S. 24–26.
Ershov, A. P.: On Programming of Arithmetic Operations (russ.). Doklady AN SSSR 118 (1958) No. 3, S. 427–430. (Engl. Übers, in: Communications ACM 1 (1958) No. 8, S. 3–6.)
Janov, Y. J.: On the Equivalence and Transformation of Program Schemes (russ.). Doklady AN SSSR 113 (1957) No. 1, S. 39–42. (Engl. Übers, in: Communications ACM 1 (1958) No. 10, S. 8–12.)
Janov, Y. J.: On Matrix Program Schemes (russ.). Doklady AN SSSR 113 (1957) No. 2, S. 283–286. (Engl. Übers, in: Communications ACM 1 (1958) No. 12, S. 3–6.)
Karp, R. M.: Some Applications of Logical Syntax to Digital Computer Programming. Thesis, Harvard University, Cambridge, Mass. 1957.
Newell, A., Shaw, J. C, Simon, H. A.: Report on a General Problem-Solving Program. Information Processing, Proc. Internat. Conf. UNESCO, Paris, 15.–20. Juni 1959. Verlag Oldenbourg, München 1960, S. 256–264.
McCarthy, J.: LISP, a Programming System for Symbolic Manipulations. Vortrag, ACM National Conference Massachusetts Institute of Technology, Cambridge, Mass., 1–3. Sept. 1959.
ALGOL Bulletin. Herausgegeben von P. Naur. Regnecentralen Kopenhagen. Erscheint nach Bedarf in unregelmäßigen Abständen.
ALGOL Manual der ALCOR-Gruppe. Herausgegeben von der ALCOR-Gruppe (federführend ist das Institut für Angewandte Mathematik, Universität Mainz).
Bauer, F. L., Samelson, K.: Verfahren zur automatischen Verarbeitung von kodierten Daten und Rechenmaschine zur Ausübung des Verfahrens. Deutsche Patentauslegeschrift 1094 019. Anm.: 30. März 1957; Bek.: 1. Dez. 1960.
Irons, E. T.: A Syntax Directed Computer for ALGOL 60. Report, Princeton University, School of Engineering, Princeton/N.J. 1960.
Dijkstra, E. W.: Recursive Programming. Numerische Mathematik 2 (1960) No. 5, S. 312–318.
Markov, A. A.: Teoria algorifmov. Trudi Matem. Inst. Steklova 42. Isd. Akad. Nauk SSSR, Moskau 1954, 375 Seiten.
Asser, G.: Turing-Maschinen und Markow’sche Algorithmen. Z. math. Logik Grundl. Math. 5 (1959), S. 346–365.
Asser, G.: Normierte Post’sche Algorithmen. Z. math. Logik Grundl. Math. 5 (1959), S. 323–333.
Gorn, S.: Common Programming Language Task, Part I, Sect. 5. Final Report AD 59 UR 1, U.S. Army Signal Corps, Contract No. DA-36–039-sc-75 047. The Moore School of Electrical Engineering, University of Pennsylvania; July 31, 1959.
Gorn, S.: Common Programming Language Task. Final Report AD 60 UR 1, U. S. Army Signal Corps, Contract No. DA-36–039-sc-75 047. The Moore School of Electrical Engineering, University of Pennsylvania; June 30,1960.
COBOL COmmon Business Oriented Language. Report, Dept. of Defense, Washington, D. C, April 1960.
The COBOL Translator. Report, International Business Machines Corp., New York 1960.
Sammet, J. E.: Detailed Description of COBOL. In: Annual Review in Automatic Programming Vol. 2, herausgegeben von R. Goodman. Pergamon Press, Oxford 1961, S. 197–230.
Willey, E. L., et al.: A Critical Discussion of COBOL. In: Annual Review in Automatic Programming Vol. 2, herausgegeben von R. Goodman. Pergamon Press, Oxford 1961, S. 293–304.
Waldburger, H. : Gebrauchsanweisung für die ERMETH. Institut für Angewandte Mathematik an der Eidgen. Techn. Hochschule, Zürich 1958.
Duncan, F. G., Hawkins, E. N.: Pseudo-code Translation on Multi-level Storage Machines. Information Processing, Proc. Internat. Conf. UNESCO, Paris, 15. bis 20. Juni 1959. Verlag Oldenbourg, München 1960, S. 144–152.
Grau, A. A.: Recursive Processes and ALGOL Translation. Communications ACM 4 (1961) No. 1, S. 10–15.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1962 Springer Fachmedien Wiesbaden
About this chapter
Cite this chapter
Bauer, F.L., Samelson, K. (1962). Maschinelle Verarbeitung von Programmsprachen. In: Hoffmann, W. (eds) Digitale Informationswandler / Digital Information Processors / Dispositifs traitant des informations numériques. Vieweg+Teubner Verlag, Wiesbaden. https://doi.org/10.1007/978-3-322-96260-7_6
Download citation
DOI: https://doi.org/10.1007/978-3-322-96260-7_6
Publisher Name: Vieweg+Teubner Verlag, Wiesbaden
Print ISBN: 978-3-322-96126-6
Online ISBN: 978-3-322-96260-7
eBook Packages: Springer Book Archive