Nie Sprachlos Winterrätsel

Total Page:16

File Type:pdf, Size:1020Kb

Nie Sprachlos Winterrätsel 04/2014 Auflösung des Winterrätsels Forum Nie sprachlos Winterrätsel 80 Nur wer sich in der Programmiersprachen-Historie auskennt, hatte eine Chance bei den Fragen des Winterrät- sels aus Ausgabe 02/ 14. Diesmal gibt’s neben den kniffligen Fragen auch die Antworten – und den Namen des Rätselkönigs 2014, der neben dem Ruhm auch einen Videorecorder für den Raspberry Pi einstreicht. Nils Magnus www.linux-magazin.de Allein um eine zumindest größtenteils richtige Lösung für die 20 Auf- ten Code formulieren hilft. Die in Listing 1 per Ocaml kodierte gaben des Winterrätsels aus dem Linux-Magazin 02/ 2014 zustande Sortierfunktion, die auf beliebigen Typen funktioniert, ist ein zu bekommen, bedarf es weit überdurchschnittlicher Kenntnisse schönes Beispiel dafür. der Programmiersprachen-Geschichte. So gesehen darf sich jeder Teilnehmer als Siegertyp betrachten. Der Legende nach motivierte den ursprünglichen Autor zur Gewinner des Sachpreises – Videorecorder-Equipment für den Namenswahl seiner Skriptsprache ein Gleichnis aus dem Matt- Rasp berry Pi von DVB Link [1] – konnte jedoch nur einer der teilneh- 3 häus-Evangelium. Darin sucht ein Händler nach Preziosen. Was menden Hobbyhistoriker werden, der Kasten „Lösung und Gewinner“ durchschreitet im selben Bibeltext das Wappentier der Sprache? lüftet das Geheimnis. Der Artikel selbst repetiert die Fragen und Der Urvater Abraham des Perl-Universums, Larry Wall, ist ka- beantwortet sie korrekt – wie gewohnt ausführlich. lifornischer Programmierer und bekennender Christ. Er beruft sich bei der Namenswahl seiner Skriptsprache gerne auf Mat- Akronyme sind für Programmiersprachen durchaus beliebt, re- thäus 13, 46: „Als er eine besonders wertvolle Perle fand, ver- kursive allemal. Welche Sprache erfand ein Mann mit dänischem kaufte er al les, was er besaß, und kaufte sie.“ Inspiriert vom 1 Pass fürs World Wide Web? Umschlag ei nes frühen Perl-Buches reüssierte das Kamel zum Obwohl er heute in den Vereinigten Staaten lebt, ist Rasmus Sinnbild für Perl. Der zitierte Evangelist wusste auch dazu einen Lerdorf auf Grönland geboren und damit gebürtiger Däne. Den Vers, nämlich 19, 24: „Nochmals sage ich euch: Eher geht ein „PHP: Hypertext Preprocessor“ schrieb er anfangs als Ersatz Kamel durch ein Nadelöhr, als dass ein Reicher in das Reich für eine Reihe von Perl-Skripten. Gottes gelangt.“ Ein britischer Turing-Award-Gewinner entwickelte eine der Das Einrücken von Code als syntaktisches Element ist bei Pro- ersten Sprachen mit polymorpher Typinferenz und typsicherer grammierern umstritten. Python-Fans beispielsweise preisen 2 Ausnahmebehandlung. Sie gilt als Urahnin einer ganzen Reihe 4diese Form der Blockmarkierung, andere bleiben skeptisch. von Abkömmlingen. Wie heißt jener, der objektorientierte Ansätze Die Entwickler welcher Sprache mussten zumindest in deren Urform einbrachte und so mehrere Programmierwettbewerbe gewann? manche Codefragmente auf bestimmte Spalten einrücken? Robin Milner hat ML geschaffen, was er als Abkürzung für Bis zur Version Fortran 77 schrieb die Sprache vor, dass norma- Meta Language verwendete. Zur weiteren Verwandschaft der ler Code ab Spalte 8 zu beginnen habe. Kommentare hingegen Sprachfamilie gehören beispielsweise SML, Miranda, Haskell bedurften in Spalte 1 eines »C«. Diese Richtlinien stammten und Ocaml, das in sehr kompakter Schreibweise hocheffizien- noch aus der Zeit der Lochkarten – Programmierer konnten so Zeilen, die sich als fehlerhaft herausstellten, noch nachträglich Listing 1: Sortierfunktion in Ocaml das Muster für den Kommentar hinzustanzen. 01 let rec sort = function 02 | [] -> [] Ein eidgenössischer Compiler-Erfinder schuf eine ganze 03 | x :: l -> insert x (sort l) Kaskade an Sprachen, wovon die erste und von ihm allein 04 5 entworfene die größte Verbreitung gefunden hat. Später war 05 and insert elem = function ihm eine Sprache nicht genug und er entwarf mit Kollegen an einer 06 | [] -> [elem] europäischen Hochschule noch ein dazu passendes Betriebssystem 07 | x :: l -> und einen zugehörigen Rechner. Wie lautet das germanische Äqui- 08 if elem < x then elem :: x :: l else x :: insert elem l;; valent der Programmierumgebung? om © Vichaya Kiatying-Angsulee, 123RF.c Kiatying-Angsulee, © Vichaya Antworten PHP Ocaml Nadelöhr Fortran 1 P 2 O 3 N 4 F 04/2014 5 A Alberich 6 O Oak 7 P Pike 8 W Whitespace 9 B BCPL 10 E Esperanto 11 I Iverson 12 M Mascitti 13 M Mono 14 R Ramey 15 H Hopper 16 L Logo Forum 17 S Snobol 18 P Prolog 19 O Object 20 A Algol Niklaus Wirth entwarf neben seiner bekanntesten Kreation Der US-Amerikaner Martin Richards entwickelte 1969 mit BCPL Pascal auch noch Modula, Modula-2 sowie Oberon. Die Spra- eine plattformunabhängige, aber sehr systemnahe Program- Winterrätsel che brachte eine Entwicklungs- und Laufzeitumgebung mit. miersprache, die zwar relativ wenig Komfort und Sicherheits- An der ETH Zürich schuf Wirth mit seinem Team dafür die mechanismen enthielt, aber zugleich die zentralen Sprach- Systemplattform Ceres. Oberon ist ein anderer Name für den konstrukte einer imperativen Sprache umsetzte. Die Idee von 81 Hüter des Nibelungeschatzes, Alberich, einen Zwerg der nor- Objektcode stammt in Teilen aus diesem Sprachkonzept. Über dischen Mythologie. den Umweg von B, das kaum produktiv zum Einsatz kam, entwickelte sich daraus C. Auch später blieb BCPL in Mode, Ein Entwickler benannte seine Sprache eines Tages nach beispielsweise in Teilen des Amiga OS. www.linux-magazin.de der Geschmacksrichtung eines Löschwasser-Sudes um. Ur- 6 sprünglich taufte der in seinem Heimatland mit einem Orden Obwohl er sehr früh das Konzept der höheren Program- ausgezeichnete Entwickler die Sprache aber nach einem soliden miersprache einführte, benötigte der Entwurf eines Hard- Laubbaum. Welchem? 10ware-Entwicklers geschlagene 29 Jahre bis zur ersten James Gosling, Officer of the Order of Canada, hat sich zwar Implementierung. Welche Sprache hatte ihr Schöpfer ursprünglich um den Emacs verdient gemacht, entwarf aber – wohl um das ins Auge gefasst, um seine Rechner zu programmieren? Gleichgewicht der Macht wiederherzustellen – ebenfalls Java. Nach dem Ende des Zweiten Weltkriegs konnte der Compu- Ursprünglich jedoch sollte die Kaffee-Sprache Oak heißen, wie terpionier Konrad Zuse praktisch kaum an seinem damals das englische Wort für Eiche. aktuellen Hardware-Entwurf, der Z4, arbeiten. Der elektrome- chanische Rechner verwendete Relais und war zwar konzep- Viele Programmiersprachen haben eine wechselhafte Ent- tionell frei programmierbar, allerdings nur in einer mühsamen wicklung hinter sich. Die hier gesuchte Sprache zeigt sich be- Maschinensprache. 7 sonders vielgesichtig, denn sie startete als objektorientierte Zuse suchte daher nach Ideen, um Programme abstrakter for- C-Variante, verlebte ihre Kindheit in einem vernetzten Rollenspiel, mulieren zu können. Die Sprache Plankalkül avancierte dabei um schließlich als Implementierungssprache eines mittlerweile fast zwar zur ersten Hochsprache, kam jedoch mangels passender vergessenen Webservers zu reüssieren. Hardware praktisch nicht zum Einsatz. Erst 1975 implemen- Der schwedische Spiele-Entwickler Lars Pensjö entwickelte tierte Joachim Hohmann in Darmstadt die Sprache im Zuge sei- 1989 eine virtuelle Maschine für ein textbasiertes Online-Rol- ner Dissertation. Bevor Zuse sich Plankalkül zuwandte, spielte lenspiel. Da sich Pensjö die Spielewelt nicht komplett selbst er mit dem Gedanken, seine Rechenmaschine in Esperanto zu ausdenken wollte, ermöglichte er erfahrenen Spielern, diese in programmieren, verwarf den Gedanken aber schnell. der objektorientierten Sprache LPC zu erweitern. Auf diesem Sprachentwurf setzten die Entwickler des Roxen Challenger auf Nicht immer stellen krude Syntax oder besonders abstrakte und nannten ihre Neufassung Pike. Sprachkonstrukte die größten Hürden auf. Ein exotischer 11Sprachentwurf erwartete ursprünglich entweder einen Fern- Die meisten Compiler oder Interpreter zerlegen den Quellcode schreiber mit einer Hardware-Backspace-Implementierung oder in Tokens – und akzeptieren an vielen Stellen rund um diese eine Latex-Klasse, um allein den Code anzuzeigen. Welcher Turing- 8 eine besondere Zeichenklasse, die zwar keine Bedeutung hat, Award-Gewinner entwickelte sie? jedoch das Code-Studium vereinfacht. Die hier gesuchte Sprache bildet eine Ausnahme, weil sie diese Symbole zum einzigen Prinzip erhebt und praktisch unsichtbar bleibt. Wie heißt die Sprache? Die Programmiersprache Whitespace besteht nur aus – ge- nau! – Whitespaces, also aus Leerzeichen, Tabulatoren und Zeilenumbrüchen. Das macht sie relativ schwer ausdruckbar. Dennoch ist die Sprache, die nach dem Stack-Prinzip arbeitet, in der Lage, beliebige Berechnungen auszuführen. Die gesuchte Sprache trat als Verbindungsglied zwischen © Micro APL Hoch- und Maschinensprache auf, inspirierte den heutigen Abbildung 1: APL benutzt für seinen Quellcode Zeichen außerhalb der gewöhnli- 9 Quasi-Standard für die Systemprogrammierung und legte eine chen ISO-8859-15-Symbole. In den 1960er Jahren erreichte man das durch das Grundlage für Objektcode. Übereinanderdrucken von zwei Zeichen auf einem Fernschreiber. 04/2014 Forum APL (A Programming Language) ist recht einfach aufgebaut für die chromatische Erhöhung eines Tons „Sharp“, was C#- und kann gut mit Vektoren und Matrizen umgehen. Sie macht Erfinder Microsoft wohl für einen gelungenen Scherz und es leicht, schnell zu Ergebnissen zu kommen. Wäre da nicht Seitenhieb auf C++ hielt. Wer bei Microsoft Beethoven hört, ist Winterrätsel die Syntax: Gerade die Operatoren bestehen oft aus mehrfach
Recommended publications
  • Thomas Ströhlein's Endgame Tables: a 50Th Anniversary
    Thomas Ströhlein's Endgame Tables: a 50th Anniversary Article Supplemental Material The Festschrift on the 40th Anniversary of the Munich Faculty of Informatics Haworth, G. (2020) Thomas Ströhlein's Endgame Tables: a 50th Anniversary. ICGA Journal, 42 (2-3). pp. 165-170. ISSN 1389-6911 doi: https://doi.org/10.3233/ICG-200151 Available at http://centaur.reading.ac.uk/90000/ It is advisable to refer to the publisher’s version if you intend to cite from the work. See Guidance on citing . Published version at: https://content.iospress.com/articles/icga-journal/icg200151 To link to this article DOI: http://dx.doi.org/10.3233/ICG-200151 Publisher: The International Computer Games Association All outputs in CentAUR are protected by Intellectual Property Rights law, including copyright law. Copyright and IPR is retained by the creators or other copyright holders. Terms and conditions for use of this material are defined in the End User Agreement . www.reading.ac.uk/centaur CentAUR Central Archive at the University of Reading Reading’s research outputs online 40 Jahre Informatik in Munchen:¨ 1967 – 2007 Festschrift Herausgegeben von Friedrich L. Bauer unter Mitwirkung von Helmut Angstl, Uwe Baumgarten, Rudolf Bayer, Hedwig Berghofer, Arndt Bode, Wilfried Brauer, Stephan Braun, Manfred Broy, Roland Bulirsch, Hans-Joachim Bungartz, Herbert Ehler, Jurgen¨ Eickel, Ursula Eschbach, Anton Gerold, Rupert Gnatz, Ulrich Guntzer,¨ Hellmuth Haag, Winfried Hahn (†), Heinz-Gerd Hegering, Ursula Hill-Samelson, Peter Hubwieser, Eike Jessen, Fred Kroger,¨ Hans Kuß, Klaus Lagally, Hans Langmaack, Heinrich Mayer, Ernst Mayr, Gerhard Muller,¨ Heinrich Noth,¨ Manfred Paul, Ulrich Peters, Hartmut Petzold, Walter Proebster, Bernd Radig, Angelika Reiser, Werner Rub,¨ Gerd Sapper, Gunther Schmidt, Fred B.
    [Show full text]
  • Is Ja Dialect of APL? Reported by Jonathan Barman Eugene Mcdonnell - the Question Is Irrelevant
    VICTOR Vol.8 No.2 convert the noun back to verb and as a result various interesting control structures can be created. The verbal nouns thus formed can be put into arrays and some of the benefits that various people have suggested might arise from arrays of functions can be obtained. A design goal is to make compilation possible without limiting the expressive power of J. APL Technology of Computer Simulation, by A Boozin and I Popselov reported by Sylvia Camacho Both authors of this paper are academic mathematicians and their use of APL is just where one might expect it to be: in modelling linear differential equations and stochastic Markovian processes. Questions put showed that they first used APL 15 years ago on terminals to what was described as 'a big old computer'. Currently they use APL*PLUS/PC. They have set up an environment in which they can split the screen and display data graphically with some zoom facilities. This environment can be used in conjunction with raw APL while exploring the results of a model, or can be used in conjunction with data derived from APL or some other source. In fact it is often used by Pascal programmers. Most recently they have been setting up economic models to try to come to terms with the consequences of decentralisation and privatisation. They use both Roman and Cyrillic alphabets. Panel: Is Ja Dialect of APL? reported by Jonathan Barman Eugene McDonnell - The question is irrelevant. Surely proponents of J would not be thrown out of the APL community? Garth Foster - J is quite definitely not APL.
    [Show full text]
  • An APL Subset Interpreter for a New Chip Set / by James Hoskin
    An APL Subset Interpreter for a New Chip Set James Hoskin MSc (Physics), University of Calgary A THESIS SUBMI 1 TED IN L'ARTlAl f Ul FILLMENT OF THE REQUIKEMENTS FOR THE DEGREE OF MASTER OF SCIFNCE In the School of Cornput~ngSc~enre " James Hosk~n1987 SIMON FRASER UNIVERSITY May 1987 All rights reserved This thesis may not be reproduced in whole or in part. by photocopy or other means w~thoutthe permission of the author Approval Title of Thesis: An APL Subset Interpreter for a New Chip Set Name. James D Hoskin Degree: Master of ~iience Examining Committee. Chairperson. Dr. W. S. Luk Dr. R. F. Hobson Senior Supervisor Dr J& Weinkam,"I/, Dr. R. D. Cameron External Examiner Dr. Carl McCrosky External Examiner April 28, 1987 Date Approved: PART IAL COPYR l GHT L ICENSE I hereby grant to Simon Fraser University the right to lend my thesis, project or extended essay (the title of which is shown below) to users of the Simon Fraser University Library, and to make partial or single copies only for such users or in response to a request from the library of any other university, or other educational institution, on its own behalf or for one of its users. I further agree that permission for multiple copying of this work for scholarly purposes may be granted by me or the Dean of Graduate Studies. It is understood that copying or publication of this work for financial gain shall not be allowed without my written permission. Title of Thesis/Project/Extended Essay -- - Author: (signature) (date) Abstract The APL language provides a powerful set of functions and operators to handle dynamic array data.
    [Show full text]
  • The Advent of Recursion & Logic in Computer Science
    The Advent of Recursion & Logic in Computer Science MSc Thesis (Afstudeerscriptie) written by Karel Van Oudheusden –alias Edgar G. Daylight (born October 21st, 1977 in Antwerpen, Belgium) under the supervision of Dr Gerard Alberts, and submitted to the Board of Examiners in partial fulfillment of the requirements for the degree of MSc in Logic at the Universiteit van Amsterdam. Date of the public defense: Members of the Thesis Committee: November 17, 2009 Dr Gerard Alberts Prof Dr Krzysztof Apt Prof Dr Dick de Jongh Prof Dr Benedikt Löwe Dr Elizabeth de Mol Dr Leen Torenvliet 1 “We are reaching the stage of development where each new gener- ation of participants is unaware both of their overall technological ancestry and the history of the development of their speciality, and have no past to build upon.” J.A.N. Lee in 1996 [73, p.54] “To many of our colleagues, history is only the study of an irrele- vant past, with no redeeming modern value –a subject without useful scholarship.” J.A.N. Lee [73, p.55] “[E]ven when we can't know the answers, it is important to see the questions. They too form part of our understanding. If you cannot answer them now, you can alert future historians to them.” M.S. Mahoney [76, p.832] “Only do what only you can do.” E.W. Dijkstra [103, p.9] 2 Abstract The history of computer science can be viewed from a number of disciplinary perspectives, ranging from electrical engineering to linguistics. As stressed by the historian Michael Mahoney, different `communities of computing' had their own views towards what could be accomplished with a programmable comput- ing machine.
    [Show full text]
  • KDB Kernel Debugger and Kdb Command
    AIX Version 7.2 KDB kernel debugger and kdb command IBM Note Before using this information and the product it supports, read the information in “Notices” on page 323. This edition applies to AIX Version 7.2 and to all subsequent releases and modifications until otherwise indicated in new editions. © Copyright International Business Machines Corporation 2015. US Government Users Restricted Rights – Use, duplication or disclosure restricted by GSA ADP Schedule Contract with IBM Corp. Contents About this document.............................................................................................ix Highlighting..................................................................................................................................................ix Case-sensitivity in AIX................................................................................................................................ ix ISO 9000......................................................................................................................................................ix KDB kernel debugger and kdb command................................................................ 1 KDB kernel debugger................................................................................................................................... 1 Invoking the KDB kernel debugger........................................................................................................ 2 The kdb command..................................................................................................................................3
    [Show full text]
  • Compendium of Technical White Papers
    COMPENDIUM OF TECHNICAL WHITE PAPERS Compendium of Technical White Papers from Kx Technical Whitepaper Contents Machine Learning 1. Machine Learning in kdb+: kNN classification and pattern recognition with q ................................ 2 2. An Introduction to Neural Networks with kdb+ .......................................................................... 16 Development Insight 3. Compression in kdb+ ................................................................................................................. 36 4. Kdb+ and Websockets ............................................................................................................... 52 5. C API for kdb+ ............................................................................................................................ 76 6. Efficient Use of Adverbs ........................................................................................................... 112 Optimization Techniques 7. Multi-threading in kdb+: Performance Optimizations and Use Cases ......................................... 134 8. Kdb+ tick Profiling for Throughput Optimization ....................................................................... 152 9. Columnar Database and Query Optimization ............................................................................ 166 Solutions 10. Multi-Partitioned kdb+ Databases: An Equity Options Case Study ............................................. 192 11. Surveillance Technologies to Effectively Monitor Algo and High Frequency Trading ..................
    [Show full text]
  • Early Life: 1924–1945
    An interview with FRITZ BAUER Conducted by Ulf Hashagen on 21 and 26 July, 2004, at the Technische Universität München. Interview conducted by the Society for Industrial and Applied Mathematics, as part of grant # DE-FG02-01ER25547 awarded by the US Department of Energy. Transcript and original tapes donated to the Computer History Museum by the Society for Industrial and Applied Mathematics © Computer History Museum Mountain View, California ABSTRACT: Professor Friedrich L. Bauer describes his career in physics, computing, and numerical analysis. Professor Bauer was born in Thaldorf, Germany near Kelheim. After his schooling in Thaldorf and Pfarrkirchen, he received his baccalaureate at the Albertinium, a boarding school in Munich. He then faced the draft into the German Army, serving first in the German labor service. After training in France and a deployment to the Eastern Front in Kursk, he was sent to officer's school. His reserve unit was captured in the Ruhr Valley in 1945 during the American advance. He returned to Pfarrkirchen in September 1945 and in spring of 1946 enrolled in mathematics and physics at the Ludwig-Maximilians-Universitäat, München. He studied mathematics with Oscar Perron and Heinrich Tietze and physics with Arnold Sommerfeld and Paul August Mann. He was offered a full assistantship with Fritz Bopp and finished his Ph.D. in 1951 writing on group representations in particle physics. He then joined a group in Munich led by a professor of mathematics Robert Sauer and the electrical engineer Hans Piloty, working with a colleague Klaus Samelson on the design of the PERM, a computer based in part on the Whirlwind concept.
    [Show full text]
  • A Lambda Calculus for Transfinite Arrays
    1 A Lambda Calculus for Transfinite Arrays Unifying Arrays and Streams ARTJOMS ŠINKAROVS, Heriot-Watt University SVEN-BODO SCHOLZ, Heriot-Watt University Array programming languages allow for concise and generic formulations of numerical algorithms, thereby providing a huge potential for program optimisation such as fusion, parallelisation, etc. One of the restric- tions that these languages typically have is that the number of elements in every array has to be finite. This means that implementing streaming algorithms in such languages requires new types of data structures, with operations that are not immediately compatible with existing array operations or compiler optimisations. In this paper, we propose a design for a functional language that natively supports infinite arrays. We use ordinal numbers to introduce the notion of infinity in shapes and indices. By doing so, we obtain a calculus that naturally extends existing array calculi and, at the same time, allows for recursive specifications as they are found in stream- and list-based settings. Furthermore, the main language construct that can be thought of as an n-fold cons operator gives rise to expressing transfinite recursion in data, something that lists or streams usually do not support. This makes it possible to treat the proposed calculus as a unifying theory of arrays, lists and streams. We give an operational semantics of the proposed language, discuss design choices that we have made, and demonstrate its expressibility with several examples. We also demonstrate that the proposed formalism preserves a number of well-known universal equalities from array/list/stream theories, and discuss implementation-related challenges.
    [Show full text]
  • A Static Analysis Framework for Security Properties in Mobile and Cryptographic Systems
    A Static Analysis Framework for Security Properties in Mobile and Cryptographic Systems Benyamin Y. Y. Aziz, M.Sc. School of Computing, Dublin City University A thesis presented in fulfillment of the requirements for the degree of Doctor of Philosophy Supervisor: Dr Geoff Hamilton September 2003 “Start by doing what’s necessary; then do what’s possible; and suddenly you are doing the impossible” St. Francis of Assisi To Yowell, Olivia and Clotilde Declaration I hereby certify that this material, which I now submit for assessment on the programme of study leading to the award of the degree of Doctor of Philosophy (Ph.D.) is entirely my own work and has not been taken from the work of others save and to the extent that such work has been cited and acknowledged within the text of my work. Signed: I.D. No.: Date: Acknowledgements I would like to thank all those people who were true sources of inspiration, knowledge, guidance and help to myself throughout the period of my doctoral research. In particular, I would like to thank my supervisor, Dr. Geoff Hamilton, without whom this work would not have seen the light. I would also like to thank Dr. David Gray, with whom I had many informative conversations, and my colleagues, Thomas Hack and Fr´ed´ericOehl, for their advice and guidance. Finally, I would like to mention that the work of this thesis was partially funded by project IMPROVE (Enterprise Ireland Strategic Grant ST/2000/94). Benyamin Aziz Abstract We introduce a static analysis framework for detecting instances of security breaches in infinite mobile and cryptographic systems specified using the languages of the π-calculus and its cryptographic extension, the spi calculus.
    [Show full text]
  • Die Gruncllehren Cler Mathematischen Wissenschaften
    Die Gruncllehren cler mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Beriicksichtigung der Anwendungsgebiete Band 135 Herausgegeben von J. L. Doob . E. Heinz· F. Hirzebruch . E. Hopf . H. Hopf W. Maak . S. Mac Lane • W. Magnus. D. Mumford M. M. Postnikov . F. K. Schmidt· D. S. Scott· K. Stein Geschiiftsfiihrende Herausgeber B. Eckmann und B. L. van der Waerden Handbook for Automatic Computation Edited by F. L. Bauer· A. S. Householder· F. W. J. Olver H. Rutishauser . K. Samelson· E. Stiefel Volume I . Part a Heinz Rutishauser Description of ALGOL 60 Springer-Verlag New York Inc. 1967 Prof. Dr. H. Rutishauser Eidgenossische Technische Hochschule Zurich Geschaftsfuhrende Herausgeber: Prof. Dr. B. Eckmann Eidgenossische Tecbnische Hocbscbule Zurich Prof. Dr. B. L. van der Waerden Matbematisches Institut der Universitat ZUrich Aile Rechte, insbesondere das der Obersetzung in fremde Spracben, vorbebalten Ohne ausdriickliche Genehmigung des Verlages ist es auch nicht gestattet, dieses Buch oder Teile daraus auf photomechaniscbem Wege (Photokopie, Mikrokopie) oder auf andere Art zu vervielfaltigen ISBN-13: 978-3-642-86936-5 e-ISBN-13: 978-3-642-86934-1 DOl: 10.1007/978-3-642-86934-1 © by Springer-Verlag Berlin· Heidelberg 1967 Softcover reprint of the hardcover 1st edition 1%7 Library of Congress Catalog Card Number 67-13537 Titel-Nr. 5l1B Preface Automatic computing has undergone drastic changes since the pioneering days of the early Fifties, one of the most obvious being that today the majority of computer programs are no longer written in machine code but in some programming language like FORTRAN or ALGOL. However, as desirable as the time-saving achieved in this way may be, still a high proportion of the preparatory work must be attributed to activities such as error estimates, stability investigations and the like, and for these no programming aid whatsoever can be of help.
    [Show full text]
  • The Education Column
    The Education Column by Juraj Hromkovicˇ Department of Computer Science ETH Zürich Universitätstrasse 6, 8092 Zürich, Switzerland [email protected] Informatics –New Basic Subject Walter Gander Department of Computer Science ETH Zürich [email protected] Abstract Informatics, as Computer Science is called in Europe, has become a leading science. It is high time that it be adopted as a basic subject in schools like mathematics or physics. We discuss in this article some recent develop- ments in Europe concerning informatics in schools. 1 Computers have been invented for computing! The first computers were calculating machines designed to solve engineering problems faster and with fewer errors. Consider for instance two typical repre- sentatives of computer pioneers: 1. Howard Aiken (1900-1973), a physicist, who encountered a system of dif- ferential equations during his PhD studies in 1939 which could not be solved analytically. He therefore needed to compute a numerical approximation, a tedious work by hand calculations. He envisioned an electro-mechanical computing device that could do much of the tedious work for him. This computer was originally called the ASCC (Automatic Sequence Controlled Calculator) and later renamed Harvard Mark I. With engineering, construction, and funding from IBM, the machine was completed and installed at Harvard in February, 1944.1 2. Konrad Zuse (1910-1995), civil engineer, had to solve linear equations for static calculations. This tedious calculations motivated him to think about constructing a machine to do this work. Unlike Aiken he did not look for a sponsor but installed 1936 a workshop for constructing a computer in the living room of his parents! [8] 1http://en.wikipedia.org/wiki/Howard_H._Aiken His greatest achievement was the world’s first programmable computer; the functional program-controlled Turing-complete Z3 became operational in May 1941.
    [Show full text]
  • Literaturverzeichnis
    Literaturverzeichnis ABD+99. Dirk Ansorge, Klaus Bergner, Bernhard Deifel, Nicholas Hawlitzky, Christoph Maier, Barbara Paech, Andreas Rausch, Marc Sihling, Veronika Thurner, and Sascha Vogel: Managing componentware development – software reuse and the V-Modell process. In M. Jarke and A. Oberweis (editors): Advanced Information Systems Engineering, 11th International Conference CAiSE’99, Heidelberg, volume 1626 of Lecture Notes in Computer Science, pages 134–148. Springer, 1999, ISBN 3-540-66157-3. Abr05. Jean-Raymond Abrial: The B-Book. Cambridge University Press, 2005. AJ94. Samson Abramsky and Achim Jung: Domain theory. In Samson Abramsky, Dov M. Gabbay, and Thomas Stephen Edward Maibaum (editors): Handbook of Logic in Computer Science, volume 3, pages 1–168. Clarendon Press, 1994. And02. Peter Bruce Andrews: An introduction to mathematical logic and type theory: To Truth Through Proof, volume 27 of Applied Logic Series. Springer, 2nd edition, July 2002, ISBN 978-94-015-9934-4. AVWW95. Joe Armstrong, Robert Virding, Claes Wikström, and Mike Williams: Concurrent programming in Erlang. Prentice Hall, 2nd edition, 1995. Bac78. Ralph-Johan Back: On the correctness of refinement steps in program develop- ment. PhD thesis, Åbo Akademi, Department of Computer Science, Helsinki, Finland, 1978. Report A–1978–4. Bas83. Günter Baszenski: Algol 68 Preludes for Arithmetic in Z and Q. Bochum, 2nd edition, September 1983. Bau75. Friedrich Ludwig Bauer: Software engineering. In Friedrich Ludwig Bauer (editor): Advanced Course: Software Engineering, Reprint of the First Edition (February 21 – March 3, 1972), volume 30 of Lecture Notes in Computer Science, pages 522–545. Springer, 1975. Bau82. Rüdeger Baumann: Programmieren mit PASCAL. Chip-Wissen. Vogel-Verlag, Würzburg, 1982.
    [Show full text]