John W. Backus 3 December 1924 – 17 March 2007
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Historical Perspective and Further Reading 162.E1
2.21 Historical Perspective and Further Reading 162.e1 2.21 Historical Perspective and Further Reading Th is section surveys the history of in struction set architectures over time, and we give a short history of programming languages and compilers. ISAs include accumulator architectures, general-purpose register architectures, stack architectures, and a brief history of ARMv7 and the x86. We also review the controversial subjects of high-level-language computer architectures and reduced instruction set computer architectures. Th e history of programming languages includes Fortran, Lisp, Algol, C, Cobol, Pascal, Simula, Smalltalk, C+ + , and Java, and the history of compilers includes the key milestones and the pioneers who achieved them. Accumulator Architectures Hardware was precious in the earliest stored-program computers. Consequently, computer pioneers could not aff ord the number of registers found in today’s architectures. In fact, these architectures had a single register for arithmetic instructions. Since all operations would accumulate in one register, it was called the accumulator , and this style of instruction set is given the same name. For example, accumulator Archaic EDSAC in 1949 had a single accumulator. term for register. On-line Th e three-operand format of RISC-V suggests that a single register is at least two use of it as a synonym for registers shy of our needs. Having the accumulator as both a source operand and “register” is a fairly reliable indication that the user the destination of the operation fi lls part of the shortfall, but it still leaves us one has been around quite a operand short. Th at fi nal operand is found in memory. -
John Mccarthy
JOHN MCCARTHY: the uncommon logician of common sense Excerpt from Out of their Minds: the lives and discoveries of 15 great computer scientists by Dennis Shasha and Cathy Lazere, Copernicus Press August 23, 2004 If you want the computer to have general intelligence, the outer structure has to be common sense knowledge and reasoning. — John McCarthy When a five-year old receives a plastic toy car, she soon pushes it and beeps the horn. She realizes that she shouldn’t roll it on the dining room table or bounce it on the floor or land it on her little brother’s head. When she returns from school, she expects to find her car in more or less the same place she last put it, because she put it outside her baby brother’s reach. The reasoning is so simple that any five-year old child can understand it, yet most computers can’t. Part of the computer’s problem has to do with its lack of knowledge about day-to-day social conventions that the five-year old has learned from her parents, such as don’t scratch the furniture and don’t injure little brothers. Another part of the problem has to do with a computer’s inability to reason as we do daily, a type of reasoning that’s foreign to conventional logic and therefore to the thinking of the average computer programmer. Conventional logic uses a form of reasoning known as deduction. Deduction permits us to conclude from statements such as “All unemployed actors are waiters, ” and “ Sebastian is an unemployed actor,” the new statement that “Sebastian is a waiter.” The main virtue of deduction is that it is “sound” — if the premises hold, then so will the conclusions. -
John Mccarthy – Father of Artificial Intelligence
Asia Pacific Mathematics Newsletter John McCarthy – Father of Artificial Intelligence V Rajaraman Introduction I first met John McCarthy when he visited IIT, Kanpur, in 1968. During his visit he saw that our computer centre, which I was heading, had two batch processing second generation computers — an IBM 7044/1401 and an IBM 1620, both of them were being used for “production jobs”. IBM 1620 was used primarily to teach programming to all students of IIT and IBM 7044/1401 was used by research students and faculty besides a large number of guest users from several neighbouring universities and research laboratories. There was no interactive computer available for computer science and electrical engineering students to do hardware and software research. McCarthy was a great believer in the power of time-sharing computers. John McCarthy In fact one of his first important contributions was a memo he wrote in 1957 urging the Director of the MIT In this article we summarise the contributions of Computer Centre to modify the IBM 704 into a time- John McCarthy to Computer Science. Among his sharing machine [1]. He later persuaded Digital Equip- contributions are: suggesting that the best method ment Corporation (who made the first mini computers of using computers is in an interactive mode, a mode and the PDP series of computers) to design a mini in which computers become partners of users computer with a time-sharing operating system. enabling them to solve problems. This logically led to the idea of time-sharing of large computers by many users and computing becoming a utility — much like a power utility. -
Fpgas As Components in Heterogeneous HPC Systems: Raising the Abstraction Level of Heterogeneous Programming
FPGAs as Components in Heterogeneous HPC Systems: Raising the Abstraction Level of Heterogeneous Programming Wim Vanderbauwhede School of Computing Science University of Glasgow A trip down memory lane 80 Years ago: The Theory Turing, Alan Mathison. "On computable numbers, with an application to the Entscheidungsproblem." J. of Math 58, no. 345-363 (1936): 5. 1936: Universal machine (Alan Turing) 1936: Lambda calculus (Alonzo Church) 1936: Stored-program concept (Konrad Zuse) 1937: Church-Turing thesis 1945: The Von Neumann architecture Church, Alonzo. "A set of postulates for the foundation of logic." Annals of mathematics (1932): 346-366. 60-40 Years ago: The Foundations The first working integrated circuit, 1958. © Texas Instruments. 1957: Fortran, John Backus, IBM 1958: First IC, Jack Kilby, Texas Instruments 1965: Moore’s law 1971: First microprocessor, Texas Instruments 1972: C, Dennis Ritchie, Bell Labs 1977: Fortran-77 1977: von Neumann bottleneck, John Backus 30 Years ago: HDLs and FPGAs Algotronix CAL1024 FPGA, 1989. © Algotronix 1984: Verilog 1984: First reprogrammable logic device, Altera 1985: First FPGA,Xilinx 1987: VHDL Standard IEEE 1076-1987 1989: Algotronix CAL1024, the first FPGA to offer random access to its control memory 20 Years ago: High-level Synthesis Page, Ian. "Closing the gap between hardware and software: hardware-software cosynthesis at Oxford." (1996): 2-2. 1996: Handel-C, Oxford University 2001: Mitrion-C, Mitrionics 2003: Bluespec, MIT 2003: MaxJ, Maxeler Technologies 2003: Impulse-C, Impulse Accelerated -
The History of Computer Language Selection
The History of Computer Language Selection Kevin R. Parker College of Business, Idaho State University, Pocatello, Idaho USA [email protected] Bill Davey School of Business Information Technology, RMIT University, Melbourne, Australia [email protected] Abstract: This examines the history of computer language choice for both industry use and university programming courses. The study considers events in two developed countries and reveals themes that may be common in the language selection history of other developed nations. History shows a set of recurring problems for those involved in choosing languages. This study shows that those involved in the selection process can be informed by history when making those decisions. Keywords: selection of programming languages, pragmatic approach to selection, pedagogical approach to selection. 1. Introduction The history of computing is often expressed in terms of significant hardware developments. Both the United States and Australia made early contributions in computing. Many trace the dawn of the history of programmable computers to Eckert and Mauchly’s departure from the ENIAC project to start the Eckert-Mauchly Computer Corporation. In Australia, the history of programmable computers starts with CSIRAC, the fourth programmable computer in the world that ran its first test program in 1949. This computer, manufactured by the government science organization (CSIRO), was used into the 1960s as a working machine at the University of Melbourne and still exists as a complete unit at the Museum of Victoria in Melbourne. Australia’s early entry into computing makes a comparison with the United States interesting. These early computers needed programmers, that is, people with the expertise to convert a problem into a mathematical representation directly executable by the computer. -
Jan. 27Th SSEC Seeber and Hamilton Had Tried to Persuade Howard Aiken Jan
some aspects of the SSEC's operation still used plugboards. Jan. 27th SSEC Seeber and Hamilton had tried to persuade Howard Aiken Jan. 27 (24 ??), 1948 [March 8] to make the Harvard William K. English Mark II a stored program IBM’s Selective Sequence machine. Aiken wasn’t Born: Jan. 27, 1929; Electronic Calculator (SSEC) was interested, but Thomas Watson Lexington, Kentucky built at its Endicott facility in Sr. [Feb 17] was persuaded with Died: July 26, 2020 1946-47 under the direction of regards the SSEC, especially Wallace Eckert [June 19], Robert English and Douglas Engelbart since he was still upset over his (Rex) Seeber, Frank E. Hamilton, [Jan 30] share credit for creating altercation with Aiken during and other Watson Scientific the first computer mouse [Nov the dedication of the Harvard Computing Lab [Feb 6] staff. 14]. English built the initial Mark I. prototype in 1964 based on It contained 21,400 relays, The SSEC occupied three sides of Engelbart’s notes, and was its 12,500 vacuum tubes, and could a large room on the ground floor first user. performed 14-by-14 decimal of IBM’s headquarters at 590 multiplication in one-fiftieth of a English was Engelbart’s chief Madison Avenue in NYC, where second, and division in one- hardware architect. He led the it was visible to people walking thirtieth of a second, making it 1965 NASA project to find the by on the street. Herbert Grosch around 250 times faster than the best way to select a point on a [Sept 13] estimated its Harvard Mark I [Aug 7]. -
The Computational Attitude in Music Theory
The Computational Attitude in Music Theory Eamonn Bell Submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in the Graduate School of Arts and Sciences COLUMBIA UNIVERSITY 2019 © 2019 Eamonn Bell All rights reserved ABSTRACT The Computational Attitude in Music Theory Eamonn Bell Music studies’s turn to computation during the twentieth century has engendered particular habits of thought about music, habits that remain in operation long after the music scholar has stepped away from the computer. The computational attitude is a way of thinking about music that is learned at the computer but can be applied away from it. It may be manifest in actual computer use, or in invocations of computationalism, a theory of mind whose influence on twentieth-century music theory is palpable. It may also be manifest in more informal discussions about music, which make liberal use of computational metaphors. In Chapter 1, I describe this attitude, the stakes for considering the computer as one of its instruments, and the kinds of historical sources and methodologies we might draw on to chart its ascendance. The remainder of this dissertation considers distinct and varied cases from the mid-twentieth century in which computers or computationalist musical ideas were used to pursue new musical objects, to quantify and classify musical scores as data, and to instantiate a generally music-structuralist mode of analysis. I present an account of the decades-long effort to prepare an exhaustive and accurate catalog of the all-interval twelve-tone series (Chapter 2). This problem was first posed in the 1920s but was not solved until 1959, when the composer Hanns Jelinek collaborated with the computer engineer Heinz Zemanek to jointly develop and run a computer program. -
CSC 272 - Software II: Principles of Programming Languages
CSC 272 - Software II: Principles of Programming Languages Lecture 1 - An Introduction What is a Programming Language? • A programming language is a notational system for describing computation in machine-readable and human-readable form. • Most of these forms are high-level languages , which is the subject of the course. • Assembly languages and other languages that are designed to more closely resemble the computer’s instruction set than anything that is human- readable are low-level languages . Why Study Programming Languages? • In 1969, Sammet listed 120 programming languages in common use – now there are many more! • Most programmers never use more than a few. – Some limit their career’s to just one or two. • The gain is in learning about their underlying design concepts and how this affects their implementation. The Six Primary Reasons • Increased ability to express ideas • Improved background for choosing appropriate languages • Increased ability to learn new languages • Better understanding of significance of implementation • Better use of languages that are already known • Overall advancement of computing Reason #1 - Increased ability to express ideas • The depth at which people can think is heavily influenced by the expressive power of their language. • It is difficult for people to conceptualize structures that they cannot describe, verbally or in writing. Expressing Ideas as Algorithms • This includes a programmer’s to develop effective algorithms • Many languages provide features that can waste computer time or lead programmers to logic errors if used improperly – E. g., recursion in Pascal, C, etc. – E. g., GoTos in FORTRAN, etc. Reason #2 - Improved background for choosing appropriate languages • Many professional programmers have a limited formal education in computer science, limited to a small number of programming languages. -
Evolution of the Major Programming Languages
COS 301 Programming Languages Evolution of the Major Programming Languages UMaine School of Computing and Information Science COS 301 - 2018 Topics Zuse’s Plankalkül Minimal Hardware Programming: Pseudocodes The IBM 704 and Fortran Functional Programming: LISP ALGOL 60 COBOL BASIC PL/I APL and SNOBOL SIMULA 67 Orthogonal Design: ALGOL 68 UMaine School of Computing and Information Science COS 301 - 2018 Topics (continued) Some Early Descendants of the ALGOLs Prolog Ada Object-Oriented Programming: Smalltalk Combining Imperative and Object-Oriented Features: C++ Imperative-Based Object-Oriented Language: Java Scripting Languages A C-Based Language for the New Millennium: C# Markup/Programming Hybrid Languages UMaine School of Computing and Information Science COS 301 - 2018 Genealogy of Common Languages UMaine School of Computing and Information Science COS 301 - 2018 Alternate View UMaine School of Computing and Information Science COS 301 - 2018 Zuse’s Plankalkül • Designed in 1945 • For computers based on electromechanical relays • Not published until 1972, implemented in 2000 [Rojas et al.] • Advanced data structures: – Two’s complement integers, floating point with hidden bit, arrays, records – Basic data type: arrays, tuples of arrays • Included algorithms for playing chess • Odd: 2D language • Functions, but no recursion • Loops (“while”) and guarded conditionals [Dijkstra, 1975] UMaine School of Computing and Information Science COS 301 - 2018 Plankalkül Syntax • 3 lines for a statement: – Operation – Subscripts – Types • An assignment -
Proposal for SHOT 2009 Session Title: Materiality Meets Practice Organizer: Thomas Haigh, University of Wisconsin—Milwaukee, T
Proposal for SHOT 2009 Session Title: Materiality Meets Practice Organizer: Thomas Haigh, University of Wisconsin—Milwaukee, [email protected] Chair: JoAnne Yates, MIT Sloan School, [email protected] Commentator: Gerard Alberts, University of Amsterdam, [email protected] Papers: Opening the Beige Box: Materiality and the Evolution of the IBM PC, 1981-1995 Thomas Haigh, University of Wisconsin—Milwaukee, [email protected]. Plug and Play: Standardized Connectors and Home Audio Reproduction, Jeffrey Tang, James Madison University, [email protected] The Right Job for the Tools: Transitioning to the Computer Age, Allan Olley, University of Toronto, [email protected]. The Material Origins of Virtualization, David Alan Grier, George Washington University, [email protected] This panel is submitted by the SIG on Computers, Information & Society. The panel includes scholars from three countries. It includes a blend of graduate students and faculty spanning the assistant, associate and full professor level. It is also diverse in terms of discipline, representing scholars working in departments of information studies, business communications, computer science, history of science, and science policy. Session Abstract: Materiality Meets Practice Computers are things and people manipulate them with their bodies. Information cannot exist without a physical medium. Communication is a material process. But writing on the history of information technology has tended to abstract away from the tangible and material. Rarely do we learn about the experience of using a particular machine, the layout of a computer center, or the issues involved in producing and assembling computer systems. But recent interest in materiality as a concept in science studies (associated particularly with the recent volume Living in a Material World edited by Pinch and Swedberg) challenges us to respect the fundamental importance of stuff to the history of technology (and allied fields such as labor history). -
CS406: Compilers Spring 2020
CS406: Compilers Spring 2020 Week1: Overview, Structure of a compiler 1 1 Intro to Compilers • Way to implement programming languages • Programming languages are notations for specifying computations to machines Program Compiler Target • Target can be an assembly code, executable, another source program etc. 2 2 What is a Compiler? Traditionally: Program that analyzes and translates from a high-level language (e.g. C++) to low-level assembly language that can be executed by the hardware var a var b int a, b; mov 3 a a = 3; mov 4 r1 if (a < 4) { cmpi a r1 b = 2; jge l_e } else { mov 2 b b = 3; jmp l_d } l_e:mov 3 b l_d:;done 3 slide courtesy: Milind Kulkarni 3 Compilers are translators •Fortran •C ▪Machine code •C++ ▪Virtual machine code •Java ▪Transformed source •Text processing translate code language ▪Augmented source •HTML/XML code •Command & ▪Low-level commands Scripting ▪Semantic components Languages ▪Another language •Natural Language •Domain Specific Language 4 slide courtesy: Milind Kulkarni 4 Compilers are optimizers • Can perform optimizations to make a program more efficient var a var b var a int a, b, c; var c var b b = a + 3; mov a r1 var c c = a + 3; addi 3 r1 mov a r1 mov r1 b addi 3 r1 mov a r2 mov r1 b addi 3 r2 mov r1 c mov r2 c 5 slide courtesy: Milind Kulkarni 5 Why do we need compilers? • Compilers provide portability • Old days: whenever a new machine was built, programs had to be rewritten to support new instruction sets • IBM System/360 (1964): Common Instruction Set Architecture (ISA) --- programs could be run -
Items for the Library of Congress
Items for the Library of Congress Item Name of item Box #/ Description/Comments No. 1 NPR program on occasion of Draper Prize (about 5 min) 1 Tape cassette 2 Photos from Draper Prize ceremony 1 Names on back of some photos 3 Think magazine article, 8/79 1 Great photos by Erich Hartmann 4 Blackboard notes, ’70 & ’71 1 Polaroid photos of work on coloring families of sets 5 Presentation at D. Univ. award, Univ. of York, England 1 2 pages 6 Old IBM memos ’53-‘82 1 Mostly about Fortran & customers 7 Interview done by Saphire of me, 12/15/67 1 Transcripts of 2 tapes, 32 + 22 pages 8 Retirement dinner – photos 1 1991 dinner in San Jose 9 Computer System Design and ANS Control Techniques Oct 1955 paper, IBM 1 Look-ahead decoder. Machine design. Confidential. 10 FORTRAN by JW Backus and WP Heising 1 Aug 1964 paper, IEEE Trans on computers 11 Software: will engineering replace witchcraft? By Eric J Lerner 1 May ’80 article about functional programming 12 Computers: emphasis on software by Robert Bernhard 1 Jan ’80, on software problems 13 Photos of Nat’l Medal of Science award ceremony 1 Pres Ford 14 Remarks at 40th anniversary dinner 1 Sept? 1990 – 40 years at IBM 15 IRI Achievement Award Address 11/83 1 Industrial Research Inst. (IRI) The talk was about tolerating many failures in doing research. 16 “Draper Prize Lecture” Boston Museum of Science + photos 1 5/10/94. 17 Lecture notes for History of Programming Languages Conf + slides 1 HOPL (1) L.A.