Kenneth E. Iverson

Kenneth Eugene Iverson (17 December 1920 – 19 October 2004) was a Canadian computer scientist noted for the development of the programming language APL. He was honored with the Turing Award in 1979 "for his pioneering effort in programming languages and mathematical notation resulting in what the computing field now knows as APL; for his contributions to the implementation of interactive systems, to educational uses of APL, and to programming language theory and practice".[1]

Kenneth Eugene Iverson
Born(1920-12-17)17 December 1920
Camrose, Alberta, Canada
Died19 October 2004(2004-10-19) (aged 83)
Toronto, Ontario, Canada
CitizenshipCanadian
Alma materQueen's University
Harvard University
Known forProgramming languages: APL, J
AwardsIBM Fellow
Harry H. Goode Memorial Award
Turing Award
Computer Pioneer Award
Scientific career
FieldsMathematics
Computer science
InstitutionsHarvard University
IBM
I. P. Sharp Associates
Jsoftware Inc.
ThesisMachine Solutions of Linear Differential Equations – Applications to a Dynamic Economic Model (1954)
Doctoral advisorHoward Aiken
Wassily Leontief

Life

Ken Iverson was born on 17 December 1920 near Camrose, a town in central Alberta, Canada. His parents were farmers who came to Alberta from North Dakota; his ancestors came from Trondheim, Norway.[2]

During World War II, he served first in the Canadian Army and then in the Royal Canadian Air Force.[2][3] He received a B.A. degree from Queen's University and the M.Sc. and Ph.D. degrees from Harvard University. In his career, he worked for Harvard, IBM, I. P. Sharp Associates, and Jsoftware Inc. (née Iverson Software Inc.).

Iverson suffered a stroke while working at the computer on a new J lab on 16 October 2004, and died on 19 October 2004 at the age of 83.[4]

Education

Iverson began school on 1 April 1926 in a one-room school,[3] initially in Grade 1, promoted to Grade 2 after 3 months and to Grade 4 by the end of June 1927. He left school after Grade 9 because it was the depths of the Great Depression and there was work to do on the family farm, and because he thought further schooling only led to becoming a schoolteacher and he had no desire to become one. At age 17, while still out of school, he enrolled in a correspondence course on radios with De Forest Training in Chicago, and learned calculus by self-study from a textbook.[3][5] During World War II, while serving in the Royal Canadian Air Force, he took correspondence courses toward a high school diploma.

After the war, Iverson enrolled in Queen's University in Kingston, Ontario, taking advantage of government support for ex-servicemen and under threat from an Air Force buddy who said he would "beat his brains out if he did not grasp the opportunity".[3] He graduated in 1950 as the top student with a Bachelor's degree in mathematics and physics.[2]

Continuing his education at Harvard University, he began in the Department of Mathematics and received a Master's degree in 1951. He then switched to the Department of Engineering and Applied Physics, working with Howard Aiken and Wassily Leontief.

Kenneth Iverson has recalled graduate study under Aiken as "like an apprenticeship" in which the student "learned the tools of the scholarship trade". Every topic was "used more as a focus for the development of skills such as clarity of thought and expression than as an end in itself". Once admitted to the program, a graduate student underwent a rite of "adoption into the fold". He was given a desk (or a share of a desk) among a group of other graduate students, the permanent staff, or visiting scholars, "most of whom were engaged in some aspect of the design and building of computers". A student was thus "made to feel part of a scholarly enterprise" and was provided, "often for the first time, with easy and intimate access to others more experienced in his chosen field".

— I. Bernard Cohen, Howard Aiken: Portrait of a Computer Pioneer, MIT Press, 1999, page 215.[6]

When interviewing Aiken, I had asked him whether Tropp and I might see his lecture notes; Aiken replied that he had always destroyed his lecture notes at the end of each year, so that he would not be tempted to repeat his lectures.

— I. Bernard Cohen and Gregory W. Welch, editors, Makin' Numbers, MIT Press, 1999, page xvi.[7]

Howard Aiken had developed the Harvard Mark I, one of the first large-scale digital computers, while Wassily Leontief was an economist who was developing the input–output model of economic analysis, work for which he would later receive the Nobel prize. Leontief's model required large matrices and Iverson worked on programs that could evaluate these matrices on the Harvard Mark IV computer. Iverson received a Ph.D. in Applied Mathematics in 1954 with a dissertation based on this work.[8][9]

At Harvard, Iverson met Eoin Whitney, a 2-time Putnam Fellow and fellow graduate student from Alberta.[10][11] This had future ramifications.

Work

Harvard (1955–1960)
Simplex algorithm in Iverson notation[12][13]

Iverson stayed on at Harvard as an assistant professor to implement the world's first graduate program in "automatic data processing".[14][15][16]

Many people think that Aiken was interested only in scientific computers. This was simply not so. During one coffee hour, Aiken turned to Ken Iverson, who had just finished his Ph.D., and said: "These machines are going to be immensely important for business, and I want you to prepare and teach a course in business data processing next fall." There had never been such a course anywhere in the world. Ken was qualified only because he was a mathematician. I was so excited by the prospect that I immediately volunteered to be Ken's graduate teaching assistant.

— Frederick Brooks Jr., Aiken and the Harvard "Comp Lab", in I. Bernard Cohen and Gregory W. Welch, editors, Makin' Numbers, MIT Press, 1999, page 141.[7]

It was in this period that Iverson developed notation for describing and analyzing various topics in data processing, for teaching classes, and for writing (with Brooks) Automatic Data Processing.[17] He was "appalled" to find that conventional mathematical notation failed to fill his needs, and began work on extensions to the notation that were more suitable. In particular, he adopted the matrix algebra used in his thesis work, the systematic use of matrices and higher-dimensional arrays in tensor analysis, and operators in the sense of Heaviside in his treatment of Maxwell's equations, higher-order functions on function argument(s) with a function result.[3] The notation was also field-tested in the business world in 1957 during a 6-month sabbatical spent at McKinsey & Company.[3][18] The first published paper using the notation was The Description of Finite Sequential Processes, initially Report Number 23 to Bell Labs and later revised and presented at the Fourth London Symposium on Information Theory in August 1960.[12][19]

Iverson stayed at Harvard for five years but failed to get tenure, because "[he hadn't] published anything but the one little book".[2]

IBM (1960–1980)

Iverson joined IBM Research in 1960 (and doubled his salary).[3] He was preceded to IBM by Fred Brooks, who advised him to "stick to whatever [he] really wanted to do, because management was so starved for ideas that anything not clearly crazy would find support." In particular, he was allowed to finish and publish A Programming Language[19][20] and (with Brooks) Automatic Data Processing,[17] two books that described and used the notation developed at Harvard. (Automatic Data Processing and A Programming Language began as one book "but the material grew in both magnitude and level until a separation proved wise".[17][20])

At IBM, Iverson soon met Adin Falkoff, and they worked together for the next twenty years. Chapter 2 of A Programming Language used Iverson's notation to describe the IBM 7090 computer.[19][20] In early 1963 Falkoff, later joined by Iverson and Ed Sussenguth, proceeded to use the notation to produce a formal description of the IBM System/360 computer then under design.[21] The result was published in 1964 in a double issue of the IBM Systems Journal,[22] thereafter known as the "grey book" or "grey manual". The book was used in a course on computer systems design at the IBM Systems Research Institute.[22] A consequence of the formal description was that it attracted the interest of bright young minds.[3][23] One hotbed of interest was at Stanford University which included Larry Breed, Phil Abrams, Roger Moore, Charles Brenner,[24] and Mike Jenkins,[25][26] all of whom later made contributions to APL. Donald McIntyre, head of geology at Pomona College which had the first general customer installation of a 360 system, used the formal description to become more expert than the IBM systems engineer assigned to Pomona.[3][27]

With the completion of the formal description Falkoff and Iverson turned their attention to implementation. This work was brought to rapid fruition in 1965 when Larry Breed and Phil Abrams joined the project. They produced a FORTRAN-based implementation on the 7090 called IVSYS (for Iverson system) by autumn 1965, first in batch mode and later, in early 1966, in time-shared interactive mode.[24][28][29] Subsequently, Breed, Dick Lathwell (ex University of Alberta), and Roger Moore (of I. P. Sharp Associates) produced the System/360 implementation;[30] the three received the Grace Murray Hopper Award in 1973 "for their work in the design and implementation of APL\360, setting new standards in simplicity, efficiency, reliability and response time for interactive systems."[31] While the 360 implementation work was underway "Iverson notation"[29][32] was renamed "APL", by Falkoff.[33] The workspace "1 cleanspace" was saved at 1966-11-27 22.53.58 UTC.[23] APL\360 service began within IBM several weeks before that[34] and outside IBM in 1968.[28] Additional information on the implementation of APL\360 can be found in the Acknowledgements of the APL\360 User's Manual[35] and in "Appendix. Chronology of APL development" of The Design of APL.[21]

APL expression for the depth of parentheses nesting[36][37]

The formal description and especially the implementation drove the evolution of the language, a process of consolidation and regularization in typography, linearization, syntax, and function definition described in APL\360 History,[38] The Design of APL,[21] and The Evolution of APL.[18] Two treatises from this period, Conventions Governing the Order of Evaluation[39] and Algebra as a Language,[40] are apologias of APL notation.

The notation was used by Falkoff and Iverson to teach various topics at various universities and at the IBM Systems Research Institute.[21][38] In 1964 Iverson used the notation in a one-semester course for seniors at the Fox Lane High School,[33][41] and later in Swarthmore High School.[3] After APL became available its first application was to teach formal methods in systems design at NASA Goddard.[38][42] It was also used at the Hotchkiss School,[24] Lower Canada College,[43] Scotch Plains High School,[44] Atlanta public schools,[45][46] among others. In one school the students became so eager that they broke into the school after hours to get more APL computer time;[23][47] in another the APL enthusiasts steered newbies to BASIC so as to maximize their own APL time.[24]

In 1969, Iverson and the APL group inaugurated the IBM Philadelphia Scientific Center.[28][38] In 1970 he was named IBM Fellow.[48] He used the funding that came with being an IBM Fellow to bring in visiting teachers and professors from various fields, including Donald McIntyre from Pomona[27] and Jeff Shallit as a summer student.[23] For a period of several months the visitors would start using APL for expositions in their own fields, and the hope was that later they would continue their use of APL at their home institutions.[49] Iverson's work at this time centered in several disciplines, including collaborative projects in circuit theory, genetics, geology, and calculus.[50][51][52][53] When the PSC closed in 1974,[28][33] some of the group transferred to California while others including Iverson remained in the East, later transferring back to IBM Research. Iverson received the Turing Award in 1979.[1]

(L to R) Dick Lathwell, Ken Iverson, Roger Moore, Adin Falkoff, Phil Abrams, and Larry Breed. On the extreme left in the background: Jon McGrew. Taken in the I.P. Sharp Associates hospitality suite during the 1978 APL Users Meeting in Toronto, Ontario.

The following table lists the publications which Iverson authored or co-authored while he was at IBM. They reflect the two main strands of his work.

Education
  • Automatic Data Processing[17]
  • Elementary Functions: An Algorithmic Treatment[41]
  • The Use of APL in Teaching[54]
  • Using the Computer to Compute[55]
  • Algebra: An Algorithmic Treatment[56]
  • APL in Exposition[57]
  • An Introduction to APL for Scientists and Engineers[58]
  • Introducing APL to Teachers[59]
  • Elementary Analysis[60]
  • Programming Style in APL[61]
Language design & implementation
  • A Programming Language[20]
  • A Programming Language[62]
  • A Common Language for Hardware, Software, and Applications[63]
  • Programming Notation in System Design[64]
  • Formalism in Programming Languages[65]
  • A Method of Syntax Specification[66]
  • A Formal Description of System/360[22]
  • APL\360 User's Manual[35]
  • Communication in APL Systems[67]
  • The Design of APL[21]
  • APL as an Analytic Notation[68]
  • APLSV User's Manual[69]
  • APL Language[70]
  • Two Combinatoric Operators[71]
  • The Evolution of APL[18]
  • Operators and Functions[72]
  • The Role of Operators in APL[73]
  • The Derivative Operator[74]
  • Operators[75]
  • Notation as a Tool of Thought[1]

I. P. Sharp Associates (1980–1987)
APL rank operator ⍤ [76][77]

In 1980, Iverson left IBM for I. P. Sharp Associates,[78][79] an APL time-sharing company. He was preceded there by his IBM colleagues Paul Berry, Joey Tuttle, Dick Lathwell, and Eugene McDonnell. At IPSA, the APL language and systems group was managed by Eric Iverson (Ken Iverson's son); Roger Moore, one of the APL\360 implementers, was a vice president.

Iverson worked to develop and extend APL on the lines presented in Operators and Functions.[72][80] The language work gained impetus in 1981 when Arthur Whitney and Iverson produced a model of APL written in APL[81][82] at the same time they were working on IPSA's OAG database.[2][11][83] (Iverson introduced Arthur Whitney, son of Eoin Whitney, to APL when he was 11-years-old[11] and in 1974 recommended him for a summer student position at IPSA Calgary.[23]) In the model, the APL syntax was driven by an 11-by-5 table. Whitney also invented the rank operator in the process.[84] The language design was further simplified and extended in Rationalized APL[85] in January 1983, multiple editions of A Dictionary of the APL Language between 1984 and 1987, and A Dictionary of APL[86] in September 1987. Within IPSA, the phrase "dictionary APL" came into use to denote the APL specified by A Dictionary of APL, itself referred to as "the dictionary". In the dictionary, APL syntax is controlled by a 9-by-6 table and the parsing process was precisely and succinctly described in Table 2, and there is a primitive (monadic ⊥, modeled in APL) for word formation (lexing).

In the 1970s and 1980s, the main APL vendors were IBM, STSC, and IPSA, and all three were active in developing and extending the language. IBM had APL2, based on the work of Jim Brown.[87][88][89] Work on APL2 proceeded intermittently for 15 years,[28] with actual coding starting in 1971 and APL2 becoming available as an IUP (Installed User Program, an IBM product classification) in 1982. STSC had an experimental APL system called NARS, designed and implemented by Bob Smith.[90][91] NARS and APL2 differed in fundamental respects from dictionary APL,[92] and differed from each other.

I.P. Sharp implemented the new APL ideas in stages: complex numbers,[93] enclosed (boxed) arrays, match, and composition operators in 1981,[94] the determinant operator in 1982,[95] and the rank operator, link, and the left and right identity functions in 1983.[96] However, the domains of operators were still restricted to the primitive functions or subsets thereof. In 1986, IPSA developed SAX,[76][97] SHARP APL/Unix, written in C and based on an implementation by STSC. The language was as specified in the dictionary with no restrictions on the domains of operators. An alpha version of SAX became available within I.P. Sharp around December 1986 or early 1987.

In education, Iverson developed A SHARP APL Minicourse[98][99] used to teach IPSA clients in the use of APL, and Applied Mathematics for Programmers[100] and Mathematics and Programming[101] which were used in computer science courses at T.H. Twente.

Ken Iverson and Arthur Whitney, 1989

Publications which Iverson authored or co-authored while he was at I. P. Sharp Associates:

Education
  • The Inductive Method of Introducing APL[98]
  • A SHARP APL Minicourse[99]
  • Applied Mathematics for Programmers[100]
  • Mathematics and Programming[101]
Language design & implementation
  • Operators and Enclosed Arrays[102]
  • Direct Definition[103]
  • Composition and Enclosure[94]
  • A Function Definition Operator[104]
  • Determinant-Like Functions Produced by the Dot-Operator[95]
  • Practical Uses of a Model of APL[81]
  • Rationalized APL[85]
  • APL Syntax and Semantics[82]
  • Language Extensions of May 1983[96]
  • An Operator Calculus[105]
  • APL87[106]
  • A Dictionary of APL[86]
  • Processing Natural Language: Syntactic and Semantic Mechanisms[107]

Jsoftware (1990–2004)
J tacit verb for binomial coefficients[36][108]
Dyalog APL[109] equivalent computation

Iverson retired from I. P. Sharp Associates in 1987. He kept busy while "between jobs". Regarding language design, the most significant of his activities in this period was the invention of "fork" in 1988.[110] For years, he had struggled to find a way to write f+g as in calculus, from the "scalar operators" in 1978,[72] through the "til" operator in 1982,[81][85] the catenation and reshape operators in 1984,[105] the union and intersection operators in 1987,[86] "yoke" in 1988,[111] and finally forks in 1988. Forks are defined as follows:

     (f g h) y  ←→  (f y) g (h y)
   x (f g h) y  ←→  (x f y) g (x h y)

Moreover, (f g p q r) ←→ (f g (p q r)). Thus to write f+g as in calculus, one can write f+g in APL. Iverson and Eugene McDonnell worked out the details on the long plane rides to the APL88 conference in Sydney, Australia, with Iverson coming up with the initial idea on waking up from a nap.[84][112][80]:§1.3,§3.8

Iverson presented the rationale for his work post 1987 as follows:[15]

When I retired from paid employment, I turned my attention back to this matter [the use of APL for teaching] and soon concluded that the essential tool required was a dialect of APL that:

• Is available as "shareware", and is inexpensive enough to be acquired by students as well as by schools
• Can be printed on standard printers
• Runs on a wide variety of computers
• Provides the simplicity and the generality of the latest thinking in APL

The result has been J, first reported in [the APL 90 Conference Proceedings].[113]

Roger Hui described the final impetus that got J started in Appendix A of An Implementation of J:[114]

One summer weekend in 1989, Arthur Whitney visited Ken Iverson at Kiln Farm and produced—on one page and in one afternoon—an interpreter fragment on the AT&T 3B1 computer. I studied this interpreter for about a week for its organization and programming style; and on Sunday, August 27, 1989, at about four o'clock in the afternoon, wrote the first line of code that became the implementation described in this document. Arthur's one-page interpreter fragment is as follows: ...

Hui, a classmate of Whitney at the University of Alberta, had studied A Dictionary of the APL Language when he was between jobs,[3] modelled the parsing process in at least two different ways,[84] and investigated uses of dictionary APL in diverse applications.[115] As well, from January 1987 to August 1989 he had access to SAX,[76] and in the later part of that period used it on a daily basis.[84]

J initially took A Dictionary of APL[86] as the specification, and the J interpreter was built around Table 2 of the dictionary. The C data and program structures were designed so that the parse table in C corresponded directly to the parse table in the dictionary.[84] In retrospect, Iverson's APL87 paper APL87,[106] in five pages, prescribed all the essential steps in writing an APL interpreter, in particular the sections on word formation and parsing. Arthur Whitney, in addition to the "one-page thing", contributed to J development by suggesting that primitives be oriented on the leading axis, that agreement (a generalization of scalar extension) should be prefix instead of suffix,[116] and that a total array ordering be defined.[117]

One of the objectives was to implement fork. This turned out to be rather straightforward, by the inclusion of one additional row in the parse table. The choice to implement forks was fortuitous and fortunate. It was realized only later[118][119] that forks made tacit expressions (operator expressions) complete in the following sense: any sentence involving one or two arguments that did not use its arguments as an operand, can be written tacitly with fork, compose, the left and right identity functions, and constant functions.

Two obvious differences between J and other APL dialects are: (a) its use of terms from natural languages instead of from mathematics or computer science (the practice began with A Dictionary of APL): noun, verb, adverbs, alphabet, word formation, sentence, ... instead of array, function, operator, character set, lexing, expression, ... ; and (b) its use of 7-bit ASCII characters instead of special symbols. Other differences between J and APL are described in J for the APL Programmer[120] and APL and J.[121]

The J source code is available from Jsoftware under the GNU General Public License version 3 (GPL3), or a commercial alternative.[122]

Eric Iverson founded Iverson Software Inc., in February 1990 to provide an improved SHARP APL/PC product. It quickly became obvious that there were shared interests and goals, and in May 1990 Iverson and Hui joined Iverson Software Inc.; later joined by Chris Burke. The company soon became J only. The name was changed to Jsoftware Inc., in April 2000.[84]

Ken Iverson (right) and Roger Hui, 1996

Publications which Iverson authored or co-authored while he was at Iverson Software Inc. and Jsoftware Inc.:

Education
Language design & implementation
  • A Commentary on APL Development[111]
  • Phrasal Forms[110]
  • APL/?[113]
  • Tacit Definition[118]
  • A Personal View of APL[15]
  • J Introduction and Dictionary[132]
  • Revisiting Rough Spots[133]
  • Computers and Mathematical Notation[134]
  • Mathematical Roots of J[135]
  • APL in the New Millennium[136]

Awards and honors

See also

References
  1. Iverson, Kenneth E. (August 1980). "Notation as a Tool of Thought". Communications of the ACM. 23 (8): 444–465. doi:10.1145/358896.358899. Retrieved 8 April 2016.
  2. Hui, Roger, ed. (30 September 2005), Ken Iverson Quotations and Anecdotes, retrieved 12 February 2019
  3. Iverson, Kenneth E.; McIntyre, Donald E. (2008), Kenneth E. Iverson (Autobiography), retrieved 8 April 2016
  4. Iverson, Eric B. (21 October 2004), Dr. Kenneth E. Iverson (J Forum message), retrieved 8 April 2016
  5. March, Herman W.; Wolff, Henry C. (1917). Calculus. McGraw-Hill.
  6. Cohen, I. Bernard (1999). Howard Aiken: Portrait of a Computer Pioneer. MIT Press. ISBN 978-0-262-03262-9.
  7. Cohen, I. Bernard; Welch, Gregory W., eds. (1999). Makin' Numbers. MIT Press. ISBN 978-0-262-03263-6.
  8. Iverson, Kenneth E. (1954). Machine Solutions of Linear Differential Equations – Applications to a Dynamic Economic Model (Ph.D. thesis). Harvard University. Retrieved 7 April 2016.
  9. Hui, Roger (August 2012), "MSLDE", Jwiki Essay, retrieved 22 April 2016
  10. Whitney, Arthur (August 2006), "Memories of Ken", Vector, 22 (3), retrieved 25 April 2016
  11. Cantrill, Bryan (February 2009). "A Conversation with Arthur Whitney". ACM Queue. 7 (2). Retrieved 7 April 2016.
  12. Iverson, Kenneth E. (August 1960), "The Description of Finite Sequential Processes", Symposium on Information Theory, Royal Institution, London, retrieved 9 April 2016
  13. Montalbano, Michael S. (October 1982), A Personal History of APL, retrieved 10 April 2016
  14. Iverson, Kenneth E. (June 1954). Jacobson, Arvid W. (ed.). "Graduate Instruction and Research". Proceedings of the First Conference on Training Personnel for the Computing Machine Field. Wayne State University. Retrieved 9 April 2016.
  15. Iverson, Kenneth E. (December 1991). "A Personal View of APL". IBM Systems Journal. 30 (4): 582–593. doi:10.1147/sj.304.0582. Retrieved 9 April 2016.
  16. Brooks, Frederick P. (August 2006). "The Language, the Mind, and the Man". Vector. 22 (3). doi:10.1111/mila.2007.22.issue-3. Retrieved 16 March 2018.
  17. Brooks Jr., Frederick P.; Iverson, Kenneth E. (1963). Automatic Data Processing. Wiley. ISBN 978-0-471-10599-2.
  18. Falkoff, Adin D.; Iverson, Kenneth E. (August 1978). "The Evolution of APL". ACM SIGPLAN Notices. 13 (8): 47–57. doi:10.1145/960118.808372. S2CID 6050177. Retrieved 9 April 2016.
  19. Iverson, Kenneth E. (14 December 1983), Letter to J.K. Tuttle, retrieved 16 April 2016
  20. Iverson, Kenneth E. (1962). A Programming Language. John Wiley & Sons. ISBN 978-0-471-43014-8. Retrieved 9 April 2016.
  21. Falkoff, Adin D.; Iverson, Kenneth E. (July 1973). "The Design of APL". IBM Journal of Research and Development. 17 (4): 324–334. doi:10.1147/rd.174.0324. Retrieved 9 April 2016.
  22. Falkoff, Adin D.; Iverson, Kenneth E.; Sussenguth, Edward H. (1964). "A Formal Description of System/360" (PDF). IBM Systems Journal. 3 (3): 198–261. doi:10.1147/sj.32.0198. Archived from the original on 13 August 2006.CS1 maint: bot: original URL status unknown (link)
  23. Hui, Roger, ed. (September 2010), APL Quotations and Anecdotes, archived from the original on 5 July 2018, retrieved 9 April 2016
  24. Breed, Larry (August 2006). "How We Got to APL\1130". Vector. 22 (3). Archived from the original on 18 March 2016. Retrieved 13 April 2016.
  25. Jenkins, Michael A. (June 1970), "The Solution of Linear Systems of Equations and Linear Least Squares Problems in APL", Technical Report Number 320-2989, IBM Corp.
  26. Jenkins, Michael A. (10 February 1972), "Domino – An APL Primitive Function for Matrix Inverse – Its Implementation and Applications", APL Quote Quad, 3 (4)
  27. McIntyre, Donald B. (August 2006), "A Tribute to Ken Iverson", Vector, 22 (3), retrieved 25 April 2016
  28. Falkoff, Adin D. (December 1991). "The IBM Family of APL Systems". IBM Systems Journal. 30 (4): 416–432. doi:10.1147/sj.304.0416.
  29. Abrams, Philip S. (17 August 1966), "An Interpreter for "Iverson Notation"" (PDF), Technical Report: CS-TR-66-47, Department of Computer Science, Stanford University, retrieved 17 April 2016
  30. Falkoff, Adin D.; Iverson, Kenneth E. (16 October 1967), "The APL\360 Terminal System", Research Report RC-1922, IBM, retrieved 9 April 2016
  31. ACM Grace Murray Hopper Award (1973): Breed, Lathwell, and Moore; retrieved 14 April 2016.
  32. Horvath, Robert W. (August 1966). Introduction to Iverson Notation. IBM Systems Development Division, Poughkeepsie, NY.
  33. McDonnell, Eugene, ed. (1981), A Source Book in APL, Introduction, APL Press, retrieved 19 April 2016
  34. Breed, Larry (September 1991), "The First APL Terminal Session", APL Quote Quad, 22 (1): 2–4, doi:10.1145/138094.140933, S2CID 43138444
  35. Falkoff, Adin D.; Iverson, Kenneth E. (1968). APL\360 User's Manual (PDF). IBM. Retrieved 11 April 2016.
  36. Hui, Roger (11 October 2014), Sixteen APL Amuse-Bouches, retrieved 12 April 2016
  37. Perlis, Alan J. (29 March 1978), "Almost Perfect Artifacts Improve only in Small Ways: APL is more French than English", APL 78 Conference Proceedings, retrieved 12 April 2016
  38. Falkoff, Adin D. (July 1969), "APL\360 History", Proceedings of the APL Users Conference at SUNY Binghamton, retrieved 9 April 2016
  39. Iverson, Kenneth E. (1966), Conventions Governing Order of Evaluation (Appendix A of Elementary Functions: An Algorithmic Treatment), Science Research Associates, retrieved 16 April 2016
  40. Iverson, Kenneth E. (1972), Algebra as a Language (Appendix A of Algebra: An Algorithmic Treatment), Addison-Wesley, retrieved 16 April 2016
  41. Iverson, Kenneth E. (March 1966). Elementary Functions: An Algorithmic Treatment. Science Research Associates.
  42. McDonnell, Eugene (December 1979), "The Socio-Technical Beginnings of APL", APL Quote Quad, 10 (2): 13, doi:10.1145/586148.586155, S2CID 18025422, retrieved 24 April 2016
  43. Goldsmith, Leslie H., Hui, Roger (ed.), APL Quotations and Anecdotes, archived from the original on 5 July 2018, retrieved 13 April 2016
  44. McDonnell, Eugene (September 1980). "Recreational APL, Pyramigram". APL Quote Quad. 11 (1). Retrieved 13 April 2016.
  45. "APL in the Atlanta Public Schools", SHARE*APL\360 Newsletter (3), October 1969
  46. APL IV: Fourth International APL Conference, June 1972, retrieved 29 April 2016
  47. Biancuzzi, Federico; Warden, Shane (March 2009). Masterminds of Programming. O'Reilly Media. Archived from the original on 5 July 2018. Retrieved 13 April 2016.
  48. "Iverson Receives Harry Goode Award". APL Quote Quad. 6 (2). June 1975. Retrieved 8 April 2016.
  49. Berry, Paul (August 2006), "Expository Programming", Vector, 22 (3), retrieved 25 April 2015
  50. Berry, Paul; Bartoli, G.; Dell'Aquila, C.; Spadavecchia, V. (March 1973). "APL and Insight". TR No. CRB 002/513-3502. IBM Corp.
  51. Spence, Robert (March 1973). Resistive Circuit Theory. IBM.
  52. Orth, Donald L. (1976). Calculus in a New Key. APL Press. ISBN 978-0-917326-05-9.
  53. Berry, Paul; Thorstensen, John (1973). "Starmap". TR No. 02.665. IBM Corp.
  54. Iverson, Kenneth E. (1969), The Use of APL in Teaching, IBM Pub. No. G320-0996, retrieved 15 April 2016
  55. Berry, Paul; Falkoff, Adin D.; Iverson, Kenneth E. (24 August 1970). "Using the Computer to Compute: A Direct but Neglected Approach to Teaching Mathematics". IFIP World Conference on Computer Education.
  56. Iverson, Kenneth E. (1972), Algebra: An Algorithmic Treatment, Addison-Wesley
  57. Iverson, Kenneth E. (January 1972), "APL in Exposition" (PDF), Technical Report Number RC 320-3010, IBM Philadelphia Scientific Center, retrieved 9 April 2016
  58. Iverson, Kenneth E. (March 1973), "An Introduction to APL for Scientists and Engineers", Technical Report Number RC 320-3019, IBM Philadelphia Scientific Center, retrieved 9 April 2016
  59. Iverson, Kenneth E. (July 1972), "Introducing APL to Teachers", Technical Report Number RC 320-3014, IBM Philadelphia Scientific Center, retrieved 9 April 2016
  60. Iverson, Kenneth E. (1976), Elementary Analysis, APL Press
  61. Iverson, Kenneth E. (September 1978). "Programming Style in APL". Proceedings of an APL Users Meeting. I. P. Sharp Associates. Retrieved 9 April 2016.
  62. Iverson, Kenneth E. (May 1962). "A Programming Language". Proceedings of the AFIPS Spring Joint Computer Conference, San Francisco. Retrieved 13 April 2016.
  63. Iverson, Kenneth E. (December 1962). "A Common Language for Hardware, Software, and Applications". Proceedings of the AFIPS Fall Joint Computer Conference, Philadelphia. Retrieved 13 April 2016.
  64. Iverson, Kenneth E. (June 1963). "Programming Notation in System Design". IBM Systems Journal. 2 (2): 117–128. doi:10.1147/sj.22.0117. Retrieved 13 April 2016.
  65. Iverson, Kenneth E. (February 1964). "Formalism in Programming Languages". Communications of the ACM. 7 (2): 80–88. doi:10.1145/363921.363933. S2CID 14145756. Retrieved 13 April 2016.
  66. Iverson, Kenneth E. (October 1964). "A Method of Syntax Specification". Communications of the ACM. 7 (10): 588–589. doi:10.1145/364888.364969. S2CID 194665.
  67. Falkoff, Adin D.; Iverson, Kenneth E. (May 1973). "Communication in APL Systems". Technical Report 320-3022. IBM Philadelphia Scientific Center.
  68. Iverson, Kenneth E. (1973). APL as an Analytic Notation. IBM Philadelphia Scientific Center.
  69. Falkoff, Adin D.; Iverson, Kenneth E. (1973). "APLSV User's Manual" (PDF). Sh20-1460. IBM Philadelphia Scientific Center. Retrieved 16 April 2016.
  70. Falkoff, Adin D.; Iverson, Kenneth E. (March 1975). APL Language (Form No. GC26-3847) (PDF). IBM.
  71. Iverson, Kenneth E. (September 1976), "Two Combinatoric Operators", APL 76 Conference Proceedings
  72. Iverson, Kenneth E. (26 April 1978), "Operators and Functions", Research Report #RC7091, IBM, retrieved 9 April 2016
  73. Iverson, Kenneth E. (June 1979), "The Role of Operators in APL", APL 79 Conference Proceedings, retrieved 10 April 2016
  74. Iverson, Kenneth E. (June 1979), "The Derivative Operator", APL 79 Conference Proceedings
  75. Iverson, Kenneth E. (October 1979). "Operators". ACM Transactions on Programming Languages and Systems. 1 (2): 161–176. doi:10.1145/357073.357074.
  76. Steinbrook, David H. (1986). SAX Reference. I. P. Sharp Associates.
  77. Hui, Roger (August 2010). "On Average". Vector. 22 (4). Retrieved 12 April 2016.
  78. IPSA (January 1980). "Dr. Kenneth E. Iverson" (PDF). The I.P. Sharp Newsletter. 8 (1). Retrieved 8 August 2019.
  79. Hui, Roger, ed. (14 May 2009), Eugene McDonnell Quotations and Anecdotes, retrieved 5 April 2016
  80. Hui, Roger; Kromberg, Morten (June 2020). "APL Since 1978". Proceedings of the ACM on Programming Languages. 4 (HOPL): 1–108. doi:10.1145/3386319. S2CID 218517570.
  81. Iverson, Kenneth E. and Arthur T. Whitney (September 1982), "Practical Uses of a Model of APL", APL 82 Conference Proceedings, retrieved 10 April 2016
  82. Iverson, Kenneth E. (March 1983), "APL Syntax and Semantics", APL 83 Conference Proceedings, retrieved 10 April 2016
  83. A Celebration of Kenneth Iverson, Computer History Museum, 30 November 2004, retrieved 17 April 2016
  84. Hui, Roger (November 2014), Remembering Ken Iverson, retrieved 10 April 2016
  85. Iverson, Kenneth E. (6 January 1983), Rationalized APL, I. P. Sharp Associates, retrieved 10 April 2016
  86. Iverson, Kenneth E. (September 1987), "A Dictionary of APL", APL Quote Quad, 18 (1): 5–40, doi:10.1145/36983.36984, S2CID 18301178, retrieved 10 April 2016
  87. Brown, James A. (1971). A Generalization of APL (Ph.D. thesis). Department of Computer and Information Sciences, Syracuse University.
  88. Brown, James A. (1984), "The Principles of APL2", Technical Report 03.247, IBM Santa Teresa Laboratory
  89. Brown, James A. (1988), "APL2 Programming: Language Reference", Sh20-9227, IBM Corporation
  90. Smith, Robert A. (September 1981). "Nested Arrays, Operators, and Functions". APL 81 Conference Proceedings.
  91. Cheney, Carl M. (1981), APL*PLUS Nested Array System (PDF), STSC, Inc., retrieved 19 April 2016
  92. Orth, Donald L. (December 1981). "A Comparison of the IPSA and STSC Implementations of Operators and General Arrays". APL Quote Quad. 12 (2): 11. doi:10.1145/586656.586662. S2CID 1642446. Retrieved 13 April 2016.
  93. McDonnell, Eugene (20 June 1981). "Complex Numbers". SATN 40, I. P. Sharp Associates. Retrieved 11 April 2016.
  94. Iverson, Kenneth E. (20 June 1981). "Composition and Enclosure". SATN 41, I. P. Sharp Associates. Retrieved 11 April 2016.
  95. Iverson, Kenneth E. (1 April 1982). "Determinant-Like Functions Produced by the Dot-Operator". SATN 42, I. P. Sharp Associates. Retrieved 11 April 2016.
  96. Bernecky, Robert; Iverson, Kenneth E.; McDonnell, Eugene; Metzger, Robert; Schueler, J. Henri (2 May 1983). "Language Extensions of May 1983". SATN 45, I. P. Sharp Associates. Retrieved 11 April 2016.
  97. Tuttle, Joey K. (August 2006), "What's Wrong with My Programming?", Vector, 22 (3), retrieved 25 April 2016
  98. Iverson, Kenneth E. (6 October 1980), "The Inductive Method of Introducing APL", 1980 APL Users Meeting Proceedings, retrieved 10 April 2016
  99. Iverson, Kenneth E. (January 1981). A SHARP APL Minicourse. I. P. Sharp Associates.
  100. Iverson, Kenneth E. (1984). Applied Mathematics for Programmers. I. P. Sharp Associates.
  101. Iverson, Kenneth E. (July 1986). Mathematics and Programming. I. P. Sharp Associates.
  102. Bernecky, Robert; Iverson, Kenneth E. (6 October 1980), "Operators and Enclosed Arrays", 1980 APL Users Meeting Proceedings, retrieved 10 April 2016
  103. Iverson, Kenneth E. (October 1980). "Direct Definition". SATN 36, I. P. Sharp Associates.
  104. Iverson, Kenneth E.; Wooster, Peter K. (September 1981), "A Function Definition Operator", APL 81 Conference Proceedings
  105. Iverson, Kenneth E.; Pesch, Roland H.; Schueler, J. Henri (June 1984), "An Operator Calculus", APL 84 Conference Proceedings, retrieved 10 April 2016
  106. Iverson, Kenneth E. (May 1987), "APL87", APL 87 Conference Proceedings, retrieved 10 April 2016
  107. Hagamen, W.D.; Berry, P.C.; Iverson, K.E.; Weber, J.C. (August 1989), "Processing Natural Language: Syntactic and Semantic Mechanisms", APL Quote Quad, 19 (4): 184–189, doi:10.1145/75144.75170, ISBN 0897913272, S2CID 14004227
  108. Hui, Roger (3 December 2014). "Ken Iverson's Favorite APL Expression?". Dyalog Blog. Retrieved 12 April 2016.
  109. Dyalog APL Language Reference (version 14.0 or later) (PDF), Dyalog Limited, 2014, retrieved 16 April 2016
  110. Iverson, Kenneth E. and Eugene McDonnell (August 1989), "Phrasal Forms", APL 89 Conference Proceedings, retrieved 10 April 2016
  111. Iverson, Kenneth E. (September 1988). "A Commentary on APL Development". APL Quote Quad. 19 (1): 3–8. doi:10.1145/379279.379330. S2CID 18392328. Retrieved 13 April 2016.
  112. Hodgkinson, Rob (19 October 2017), J Programming Forum post
  113. Hui, Roger; Iverson, Kenneth E.; McDonnell, Eugene; Whitney, Arthur (July 1990), "APL/?", APL 90 Conference Proceedings, retrieved 10 April 2016
  114. Hui, Roger (27 January 1992). An Implementation of J (PDF). Iverson Software Inc. Retrieved 10 April 2016.
  115. Hui, Roger (May 1987). "Some Uses of { and }". APL 87 Conference Proceedings. Retrieved 15 April 2016.
  116. Hui, Roger (June 1995). "Rank and Uniformity". APL 95 Conference Proceedings. Retrieved 15 April 2016.
  117. Hui, Roger (27 January 2006), "The TAO of J", J Wiki Essay, retrieved 24 May 2016
  118. Hui, Roger; Iverson, Kenneth E.; McDonnell, Eugene (August 1991), "Tacit Definition", APL 91 Conference Proceedings, retrieved 10 April 2016
  119. Cherlin, Edward (August 1991). "Pure Functions in APL and J". APL 91 Conference Proceedings.
  120. Burke, Chris; Hui, Roger (September 1996). "J for the APL Programmer". APL Quote Quad. 27 (1): 11–17. doi:10.1145/1151395.1151400. S2CID 9203778. Retrieved 14 April 2016.
  121. Burke, Chris (2 March 2005), APL and J (PDF), retrieved 16 April 2016
  122. J Source, Jsoftware, Inc., retrieved 15 April 2016
  123. Iverson, Kenneth E. (1991). Tangible Math. Iverson Software Inc.
  124. Iverson, Kenneth E. (1991). Programming in J. Iverson Software Inc.
  125. Iverson, Kenneth E. (1991). Arithmetic (PDF). Iverson Software Inc. Retrieved 10 April 2016.
  126. Iverson, Kenneth E. (1993). Calculus (PDF). Iverson Software Inc. Retrieved 10 April 2016.
  127. Iverson, Kenneth E. (1995). Concrete Math Companion (PDF). Iverson Software Inc. Retrieved 10 April 2016.
  128. Iverson, Kenneth E. (1996). Exploring Math (PDF). Iverson Software Inc. Retrieved 10 April 2016.
  129. Burke, Chris; Hui, Roger; Iverson, Kenneth E.; McDonnell, Eugene; McIntyre, Donald B. (1996). J Phrases. Iverson Software Inc. Retrieved 10 April 2016.
  130. Burke, Chris; Hui, Roger; Iverson, Eric; Iverson, Kenneth E.; Iverson, Kirk (1998), ICFP '98 Contest Winners, retrieved 15 April 2016
  131. Iverson, Kenneth E. (1999). Math for the Layman. JSoftware Inc. Retrieved 10 April 2016.
  132. Hui, Roger; Iverson, Kenneth E. (1991). "J Introduction and Dictionary". Jsoftware Inc. Retrieved 9 April 2016. Cite journal requires |journal= (help)
  133. Iverson, Kenneth E. (March 1994). "Revisiting Rough Spots". APL Quote Quad. 24 (3): 13–16. doi:10.1145/181983.181986. S2CID 2140469. Retrieved 13 April 2016.
  134. Iverson, Kenneth E. (1996), Computers and Mathematical Notation, Iverson Software Inc., retrieved 10 April 2016
  135. Hui, Roger; Iverson, Kenneth E. (January 1998), "Mathematical Roots of J", APL 97 Conference Proceedings: 21–30, doi:10.1145/316689.316698, S2CID 2317632
  136. Iverson, Kenneth E. (August 2006), "APL in the New Millennium", Vector, 22 (3), retrieved 25 April 2016
  137. NAE Members Directory, National Academy of Engineering, retrieved 22 April 2016
  138. Computer Pioneer Award (Charter Recipient), IEEE Computer Society, 1982, retrieved 8 April 2016
  139. Drummond, B. (11 June 1998), Citation for Dr. Kenneth Iverson, York University, retrieved 8 April 2016
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.