Kenneth Eugene Iverson (17 de diciembre de 1920 - 19 de octubre de 2004) fue un científico informático canadiense conocido por el desarrollo del lenguaje de programación APL . Fue honrado con el Premio Turing en 1979 "por su esfuerzo pionero en lenguajes de programación y notación matemática que dio como resultado lo que el campo de la computación ahora conoce como APL; por sus contribuciones a la implementación de sistemas interactivos, a los usos educativos de APL y a la programación. teoría y práctica del lenguaje ". [1]
Kenneth Eugene Iverson | |
---|---|
Nació | Camrose, Alberta , Canadá | 17 de diciembre de 1920
Fallecido | 19 de octubre de 2004 | (83 años)
Ciudadanía | canadiense |
alma mater | Universidad de Queen's Universidad de Harvard |
Conocido por | Lenguajes de programación : APL , J |
Premios | Premio IBM Fellow Harry H. Goode Memorial Award Turing Award Computer Pioneer Award |
Carrera científica | |
Campos | Matemáticas Informática |
Instituciones | Universidad de Harvard IBM I. P. Sharp Associates Jsoftware Inc. |
Tesis | Soluciones de máquinas de ecuaciones diferenciales lineales: aplicaciones a un modelo económico dinámico (1954) |
Asesor de doctorado | Howard Aiken Wassily Leontief |
La vida
Ken Iverson nació el 17 de diciembre de 1920 cerca de Camrose , una ciudad en el centro de Alberta , Canadá. Sus padres eran agricultores que llegaron a Alberta desde Dakota del Norte ; sus antepasados procedían de Trondheim , Noruega . [2]
Durante la Segunda Guerra Mundial , sirvió primero en el Ejército Canadiense y luego en la Real Fuerza Aérea Canadiense . [2] [3] Recibió una licenciatura de Queen's University y el M.Sc. y Ph.D. grados de la Universidad de Harvard . En su carrera, trabajó para Harvard , IBM , IP Sharp Associates y Jsoftware Inc. (de soltera Iverson Software Inc.).
Iverson sufrió un derrame cerebral mientras trabajaba en la computadora en un nuevo laboratorio J el 16 de octubre de 2004, y murió el 19 de octubre de 2004 a la edad de 83 años. [4]
Educación
Iverson comenzó la escuela el 1 de abril de 1926 en una escuela de un solo salón , [3] inicialmente en el grado 1, promovido al grado 2 después de 3 meses y al grado 4 a fines de junio de 1927. Dejó la escuela después del grado 9 porque era el profundidades de la Gran Depresión y había trabajo que hacer en la granja familiar , y porque pensaba que una mayor escolarización solo lo llevaría a convertirse en maestro de escuela y no tenía deseos de serlo. A los 17 años, mientras aún no estaba en la escuela, se inscribió en un curso por correspondencia sobre radios con De Forest Training en Chicago, y aprendió cálculo mediante el autoaprendizaje de un libro de texto. [3] [5] Durante la Segunda Guerra Mundial , mientras servía en la Real Fuerza Aérea Canadiense , tomó cursos por correspondencia para obtener un diploma de escuela secundaria.
Después de la guerra, Iverson se inscribió en la Queen's University en Kingston, Ontario , aprovechando el apoyo del gobierno a los ex militares y bajo la amenaza de un amigo de la Fuerza Aérea que dijo que "se golpearía los sesos si no aprovechaba la oportunidad". [3] Se graduó en 1950 como el mejor estudiante con una licenciatura en matemáticas y física . [2]
Continuando su educación en la Universidad de Harvard , comenzó en el Departamento de Matemáticas y recibió una maestría en 1951. Luego pasó al Departamento de Ingeniería y Física Aplicada, trabajando con Howard Aiken y Wassily Leontief .
Kenneth Iverson ha recordado los estudios de posgrado con Aiken como "como un aprendizaje" en el que el estudiante "aprendió las herramientas del comercio de becas". Cada tema fue "utilizado más como un foco para el desarrollo de habilidades como la claridad de pensamiento y expresión que como un fin en sí mismo". Una vez admitido en el programa, un estudiante de posgrado se sometió a un rito de "adopción en el redil". Se le dio un escritorio (o una parte de un escritorio) entre un grupo de otros estudiantes graduados, el personal permanente o los académicos visitantes, "la mayoría de los cuales se dedicaban a algún aspecto del diseño y construcción de computadoras". De este modo, se "hizo que un estudiante se sintiera parte de una empresa académica" y se le proporcionó, "a menudo por primera vez, un acceso fácil e íntimo a otros más experimentados en el campo que eligió".
- I. Bernard Cohen , Howard Aiken: Retrato de un pionero de la informática , MIT Press, 1999, página 215. [6]
Al entrevistar a Aiken, le pregunté si Tropp y yo podríamos ver sus notas de la conferencia; Aiken respondió que siempre había destruido sus notas de clase al final de cada año, para no tener la tentación de repetir sus clases.
- I. Bernard Cohen y Gregory W. Welch, editores, Makin 'Numbers , MIT Press, 1999, página xvi. [7]
Howard Aiken había desarrollado Harvard Mark I , una de las primeras computadoras digitales a gran escala, mientras que Wassily Leontief era un economista que estaba desarrollando el modelo input-output de análisis económico, trabajo por el que luego recibiría el premio Nobel . El modelo de Leontief requería matrices grandes e Iverson trabajó en programas que podían evaluar estas matrices en la computadora Harvard Mark IV . Iverson recibió un Ph.D. en Matemáticas Aplicadas en 1954 con una disertación basada en este trabajo. [8] [9]
En Harvard, Iverson conoció a Eoin Whitney, dos veces becario de Putnam y compañero de estudios de posgrado de Alberta. [10] [11] Esto tuvo ramificaciones futuras.
Trabaja
Harvard (1955-1960)
Iverson permaneció en Harvard como profesor asistente para implementar el primer programa de posgrado del mundo en "procesamiento automático de datos". [14] [15] [16]
Mucha gente piensa que Aiken solo estaba interesado en las computadoras científicas . Esto simplemente no fue así. Durante una hora de café, Aiken se dirigió a Ken Iverson, que acababa de terminar su doctorado, y le dijo: "Estas máquinas serán inmensamente importantes para los negocios y quiero que prepares y enseñes un curso sobre procesamiento de datos comerciales. el próximo otoño." Nunca había existido un curso de este tipo en ningún lugar del mundo. Ken estaba calificado solo porque era matemático. Estaba tan emocionado por la perspectiva que inmediatamente me ofrecí como voluntario para ser el asistente de maestría de Ken.
- Frederick Brooks Jr. , Aiken y Harvard "Comp Lab", en I. Bernard Cohen y Gregory W. Welch, editores, Makin 'Numbers , MIT Press, 1999, página 141. [7]
Fue en este período que Iverson desarrolló la notación para describir y analizar varios temas en el procesamiento de datos, para impartir clases y para escribir (con Brooks) Procesamiento automático de datos . [17] Estaba "consternado" al descubrir que la notación matemática convencional no satisfacía sus necesidades y comenzó a trabajar en extensiones de la notación que eran más adecuadas. En particular, adoptó el álgebra matricial utilizada en su trabajo de tesis, el uso sistemático de matrices y matrices de dimensiones superiores en el análisis tensorial , y operadores en el sentido de Heaviside en su tratamiento de las ecuaciones de Maxwell , funciones de orden superior en el argumento de función ( s) con un resultado de función. [3] La notación también se probó en el campo en el mundo empresarial en 1957 durante un año sabático de 6 meses en McKinsey & Company . [3] [18] El primer artículo publicado que usó la notación fue The Description of Finite Sequential Processes , inicialmente Informe número 23 a Bell Labs y luego revisado y presentado en el Cuarto Simposio de Londres sobre Teoría de la Información en agosto de 1960. [12] [19 ]
Iverson permaneció en Harvard durante cinco años, pero no consiguió la titularidad porque "[no] había publicado nada más que un pequeño libro". [2]
IBM (1960-1980)
Iverson se unió a IBM Research en 1960 (y duplicó su salario). [3] Fue precedido en IBM por Fred Brooks , quien le aconsejó que "se apegara a lo que [él] realmente quería hacer, porque la gerencia estaba tan hambrienta de ideas que cualquier cosa que no fuera claramente una locura encontraría apoyo". En particular, se le permitió terminar y publicar A Programming Language [19] [20] y (con Brooks) Automatic Data Processing , [17] dos libros que describían y usaban la notación desarrollada en Harvard. ( El procesamiento automático de datos y un lenguaje de programación comenzaron como un solo libro, "pero el material creció tanto en magnitud como en nivel hasta que resultó prudente una separación". [17] [20] )
En IBM, Iverson pronto conoció a Adin Falkoff y trabajaron juntos durante los siguientes veinte años. El capítulo 2 de Un lenguaje de programación utilizó la notación de Iverson para describir la computadora IBM 7090 . [19] [20] A principios de 1963, Falkoff, a quien más tarde se unieron Iverson y Ed Sussenguth , procedió a utilizar la notación para producir una descripción formal de la computadora IBM System / 360 que estaba entonces bajo diseño. [21] El resultado se publicó en 1964 en un número doble del IBM Systems Journal, [22] en adelante conocido como el "libro gris" o el "manual gris". El libro se utilizó en un curso sobre diseño de sistemas informáticos en el IBM Systems Research Institute. [22] Una consecuencia de la descripción formal fue que atrajo el interés de mentes jóvenes brillantes. [3] [23] Un semillero de interés fue en la Universidad de Stanford, que incluyó a Larry Breed , Phil Abrams , Roger Moore , Charles Brenner , [24] y Mike Jenkins, [25] [26] todos los cuales más tarde hicieron contribuciones a APL. Donald McIntyre, jefe de geología de Pomona College, que tuvo la primera instalación general de un sistema 360 por parte del cliente, utilizó la descripción formal para volverse más experto que el ingeniero de sistemas de IBM asignado a Pomona. [3] [27]
Una vez completada la descripción formal, Falkoff e Iverson centraron su atención en la implementación. Este trabajo se llevó a cabo rápidamente en 1965 cuando Larry Breed y Phil Abrams se unieron al proyecto. Produjeron una implementación basada en FORTRAN en el 7090 llamada IVSYS (para el sistema Iverson) en el otoño de 1965, primero en modo por lotes y luego, a principios de 1966, en modo interactivo de tiempo compartido. [24] [28] [29] Posteriormente, Breed, Dick Lathwell (ex Universidad de Alberta ) y Roger Moore (de IP Sharp Associates ) produjeron la implementación de System / 360; [30] los tres recibieron el premio Grace Murray Hopper en 1973 "por su trabajo en el diseño e implementación de APL \ 360, estableciendo nuevos estándares en simplicidad, eficiencia, confiabilidad y tiempo de respuesta para sistemas interactivos". [31] Mientras el trabajo de implementación 360 estaba en marcha , Falkoff cambió el nombre de " notación Iverson" [29] [32] a "APL". [33] El espacio de trabajo "1 espacio limpio" se guardó en 1966-11-27 22.53.58 UTC . [23] El servicio APL \ 360 comenzó en IBM varias semanas antes [34] y fuera de IBM en 1968. [28] Se puede encontrar información adicional sobre la implementación de APL \ 360 en los Agradecimientos del Manual del usuario de APL \ 360 [35 ] y en el "Apéndice. Cronología del desarrollo de APL" de The Design of APL . [21]
La descripción formal y especialmente la implementación impulsaron la evolución del lenguaje, un proceso de consolidación y regularización en tipografía, linealización, sintaxis y definición de funciones descritas en APL \ 360 History , [38] The Design of APL , [21] y The Evolución de APL . [18] Dos tratados de este período, Convenciones que rigen el orden de evaluación [39] y Álgebra como lengua , [40] son apologías de la notación APL.
La notación fue utilizada por Falkoff e Iverson para enseñar varios temas en varias universidades y en el IBM Systems Research Institute. [21] [38] En 1964 Iverson usó la notación en un curso de un semestre para estudiantes de último año en Fox Lane High School , [33] [41] y más tarde en Swarthmore High School . [3] Después de que APL estuvo disponible, su primera aplicación fue enseñar métodos formales en el diseño de sistemas en NASA Goddard . [38] [42] También se utilizó en Hotchkiss School , [24] Lower Canada College , [43] Scotch Plains High School , [44] escuelas públicas de Atlanta, [45] [46] entre otros. En una escuela, los estudiantes estaban tan ansiosos que irrumpieron en la escuela después de las horas para obtener más tiempo de computadora APL; [23] [47] en otro, los entusiastas de APL dirigieron a los novatos a BASIC para maximizar su propio tiempo de APL. [24]
En 1969, Iverson y el grupo APL inauguraron el IBM Philadelphia Scientific Center. [28] [38] En 1970 fue nombrado IBM Fellow . [48] Usó los fondos que venía con ser un miembro de IBM para traer profesores visitantes y profesores de varios campos, incluidos Donald McIntyre de Pomona [27] y Jeff Shallit como estudiante de verano. [23] Durante un período de varios meses, los visitantes comenzarían a usar APL para exposiciones en sus propios campos, y la esperanza era que luego continuarían usando APL en sus instituciones de origen. [49] El trabajo de Iverson en este momento se centró en varias disciplinas, incluidos proyectos de colaboración en teoría de circuitos, genética, geología y cálculo. [50] [51] [52] [53] Cuando el PSC cerró en 1974, [28] [33] parte del grupo se transfirió a California mientras que otros, incluido Iverson, permanecieron en el Este, y luego se transfirieron de nuevo a IBM Research. Iverson recibió el premio Turing en 1979. [1]
La siguiente tabla enumera las publicaciones de las que Iverson fue autor o coautor mientras estuvo en IBM. Reflejan las dos líneas principales de su trabajo.
- Educación
- Procesamiento automático de datos [17]
- Funciones elementales: un tratamiento algorítmico [41]
- El uso de APL en la enseñanza [54]
- Uso de la computadora para calcular [55]
- Álgebra: un tratamiento algorítmico [56]
- APL en Exposición [57]
- Introducción a la APL para científicos e ingenieros [58]
- Presentación de APL a los profesores [59]
- Análisis elemental [60]
- Estilo de programación en APL [61]
- Diseño e implementación de lenguajes
- Un lenguaje de programación [20]
- Un lenguaje de programación [62]
- Un lenguaje común para hardware, software y aplicaciones [63]
- Programación de notación en el diseño de sistemas [64]
- Formalismo en lenguajes de programación [65]
- Un método de especificación de sintaxis [66]
- Una descripción formal de System / 360 [22]
- Manual del usuario de APL \ 360 [35]
- Comunicación en sistemas APL [67]
- El diseño de APL [21]
- APL como notación analítica [68]
- Manual del usuario de APLSV [69]
- Lenguaje APL [70]
- Dos operadores combinatorios [71]
- La evolución de APL [18]
- Operadores y funciones [72]
- El papel de los operadores en APL [73]
- El operador derivado [74]
- Operadores [75]
- La notación como herramienta de pensamiento [1]
IP Sharp Associates (1980-1987)
En 1980, Iverson dejó IBM por IP Sharp Associates , [78] [79] una empresa de APL de tiempo compartido . Allí lo precedieron sus colegas de IBM Paul Berry, Joey Tuttle, Dick Lathwell y Eugene McDonnell . En IPSA, Eric Iverson (hijo de Ken Iverson) dirigía el grupo de sistemas y lenguaje APL; Roger Moore , uno de los implementadores de APL \ 360, fue vicepresidente.
Iverson trabajó para desarrollar y extender APL en las líneas presentadas en Operadores y Funciones . [72] [80] El trabajo lingüístico ganó impulso en 1981 cuando Arthur Whitney e Iverson produjeron un modelo de APL escrito en APL [81] [82] al mismo tiempo que trabajaban en la base de datos OAG de IPSA . [2] [11] [83] (Iverson presentó a Arthur Whitney, hijo de Eoin Whitney, a APL cuando tenía 11 años [11] y en 1974 lo recomendó para un puesto de estudiante de verano en IPSA Calgary . [23] ) En el modelo, la sintaxis APL fue impulsada por una tabla de 11 por 5. Whitney también inventó el operador de rango en el proceso. [84] El diseño del lenguaje se simplificó y amplió aún más en Rationalized APL [85] en enero de 1983, varias ediciones de A Dictionary of the APL Language entre 1984 y 1987, y A Dictionary of APL [86] en septiembre de 1987. Dentro de IPSA, la frase "diccionario APL" entró en uso para denotar el APL especificado por A Dictionary of APL , a la que se hace referencia a sí mismo como "el diccionario". En el diccionario, la sintaxis de APL está controlada por una tabla de 9 por 6 y el proceso de análisis se describió de manera precisa y sucinta en la Tabla 2, y hay un primitivo (monádico ⊥, modelado en APL) para la formación de palabras ( lexing ).
En las décadas de 1970 y 1980, los principales proveedores de APL eran IBM , STSC e IPSA , y los tres estaban activos en el desarrollo y la extensión del lenguaje. IBM tenía APL2, basado en el trabajo de Jim Brown . [87] [88] [89] El trabajo en APL2 prosiguió de forma intermitente durante 15 años, [28] con la codificación real a partir de 1971 y APL2 se hizo disponible como IUP (Programa de usuario instalado, una clasificación de producto de IBM) en 1982. STSC tenía un sistema APL experimental llamado NARS, diseñado e implementado por Bob Smith. [90] [91] NARS y APL2 diferían en aspectos fundamentales del diccionario APL, [92] y diferían entre sí.
IP Sharp implementó las nuevas ideas de APL en etapas: números complejos, [93] arreglos cerrados (en caja), operadores de coincidencia y composición en 1981, [94] el operador determinante en 1982, [95] y el operador de rango, enlace y las funciones de identidad izquierda y derecha en 1983. [96] Sin embargo, los dominios de los operadores todavía estaban restringidos a las funciones primitivas o subconjuntos de las mismas. En 1986, IPSA desarrolló SAX, [76] [97] SHARP APL / Unix, escrito en C y basado en una implementación de STSC . El idioma era el especificado en el diccionario sin restricciones en los dominios de los operadores. Una versión alfa de SAX estuvo disponible en IP Sharp alrededor de diciembre de 1986 o principios de 1987.
En educación, Iverson desarrolló un minicurso de APL SHARP [98] [99] utilizado para enseñar a los clientes de IPSA en el uso de APL y Matemáticas Aplicadas para Programadores [100] y Matemáticas y Programación [101] que se utilizaron en cursos de informática en TH Twente .
Publicaciones de las que Iverson fue autor o coautor mientras estaba en IP Sharp Associates :
- Educación
- El método inductivo de introducción de APL [98]
- Un minicurso de APL SHARP [99]
- Matemáticas aplicadas para programadores [100]
- Matemáticas y programación [101]
- Diseño e implementación de lenguajes
- Operadores y matrices cerradas [102]
- Definición directa [103]
- Composición y recinto [94]
- Un operador de definición de función [104]
- Funciones de tipo determinante producidas por el operador de puntos [95]
- Usos prácticos de un modelo de APL [81]
- APL racionalizado [85]
- Sintaxis y semántica de APL [82]
- Extensiones lingüísticas de mayo de 1983 [96]
- Un cálculo de operador [105]
- APL87 [106]
- Un diccionario de APL [86]
- Procesamiento del lenguaje natural: mecanismos sintácticos y semánticos [107]
Jsoftware (1990-2004)
Iverson se retiró de IP Sharp Associates en 1987. Se mantuvo ocupado mientras "entre trabajos". En cuanto al diseño del lenguaje, la más significativa de sus actividades en este período fue la invención de la "bifurcación" en 1988. [110] Durante años, había luchado por encontrar una manera de escribir f + g como en cálculo, a partir de los "operadores escalares "en 1978, [72] a través del operador" hasta "en 1982, [81] [85] los operadores de catenados y remodelación en 1984, [105] los operadores de unión e intersección en 1987, [86] " yugo "en 1988, [111] y finalmente horquillas en 1988. Las horquillas se definen de la siguiente manera:
(fgh) y | ← → | (fy) g (hy) | |
x (fgh) y | ← → | (xfy) g (xhy) |
Además, (fgpqr) ← → (fg (pqr)). Por tanto, para escribir f + g como en cálculo, se puede escribir f + g en APL. Iverson y Eugene McDonnell trabajaron en los detalles de los largos viajes en avión a la conferencia APL88 en Sydney, Australia, y a Iverson se le ocurrió la idea inicial de despertarse de una siesta. [84] [112] [80] : §1.3, §3.8
Iverson presentó la justificación de su trabajo posterior a 1987 de la siguiente manera: [15]
Cuando me retiré del empleo remunerado, volví a centrar mi atención en este asunto [el uso de APL para la enseñanza] y pronto concluí que la herramienta esencial requerida era un dialecto de APL que:
- • Está disponible como "shareware" y es lo suficientemente económico como para que lo adquieran los estudiantes y las escuelas.
- • Puede imprimirse en impresoras estándar
- • Funciona en una amplia variedad de computadoras.
- • Proporciona la simplicidad y la generalidad de las últimas ideas en APL
El resultado ha sido J , que se informó por primera vez en [las actas de la conferencia APL 90 ]. [113]
Roger Hui describió el ímpetu final que hizo que J comenzara en el Apéndice A de Una implementación de J : [114]
Un fin de semana de verano de 1989, Arthur Whitney visitó a Ken Iverson en Kiln Farm y produjo, en una página y en una tarde, un fragmento de intérprete en la computadora AT&T 3B1 . Estudié a este intérprete durante aproximadamente una semana por su organización y estilo de programación; y el domingo 27 de agosto de 1989, alrededor de las cuatro de la tarde, escribió la primera línea de código que se convirtió en la implementación descrita en este documento. El fragmento del intérprete de una página de Arthur es el siguiente: ...
Hui, un compañero de clase de Whitney en la Universidad de Alberta , había estudiado un diccionario de la APL Idioma cuando él estaba entre puestos de trabajo, [3] , modeladas al proceso de análisis en al menos dos formas diferentes, [84] e investigadas usos del diccionario de APL en diversas aplicaciones. [115] Asimismo, desde enero de 1987 hasta agosto de 1989 tuvo acceso a SAX, [76] y en la última parte de ese período lo utilizó a diario. [84]
J inicialmente tomó A Dictionary of APL [86] como especificación, y el intérprete de J se construyó alrededor de la Tabla 2 del diccionario. Los datos de C y las estructuras del programa se diseñaron de modo que la tabla de análisis sintáctico en C correspondiera directamente a la tabla de análisis sintáctico del diccionario. [84] En retrospectiva, el artículo APL87 de Iverson, APL87 , [106] en cinco páginas, prescribió todos los pasos esenciales para escribir un intérprete de APL, en particular las secciones sobre formación de palabras y análisis sintáctico. Arthur Whitney , además de la "cosa de una página", contribuyó al desarrollo de J sugiriendo que las primitivas se orienten en el eje principal, que la concordancia (una generalización de la extensión escalar) debería ser prefijo en lugar de sufijo, [116] y que se defina un orden total de la matriz. [117]
Uno de los objetivos era implementar fork. Esto resultó ser bastante sencillo, mediante la inclusión de una fila adicional en la tabla de análisis. La elección de implementar horquillas fue fortuita y afortunada. Sólo más tarde se descubrió [118] [119] que las bifurcaciones completaban las expresiones tácitas ( expresiones de operador) en el siguiente sentido: cualquier oración que involucre uno o dos argumentos que no usaran sus argumentos como operando, se puede escribir tácitamente con la bifurcación, componen, las funciones de identidad izquierda y derecha y las funciones constantes.
Dos diferencias obvias entre J y otros dialectos APL son: (a) su uso de términos de lenguajes naturales en lugar de matemáticas o ciencias de la computación (la práctica comenzó con A Dictionary of APL ): sustantivo, verbo, adverbios, alfabeto, formación de palabras, oración, ... en lugar de matriz, función, operador, juego de caracteres, lexing, expresión, ...; y (b) su uso de caracteres ASCII de 7 bits en lugar de símbolos especiales. Otras diferencias entre J y APL se describen en J para la APL Programmer [120] y APL y J . [121]
El código fuente J está disponible en Jsoftware bajo la GNU General Public License versión 3 (GPL3), o una alternativa comercial. [122]
Eric Iverson fundó Iverson Software Inc. en febrero de 1990 para ofrecer un producto SHARP APL / PC mejorado. Rápidamente se hizo evidente que había intereses y objetivos compartidos, y en mayo de 1990 Iverson y Hui se unieron a Iverson Software Inc .; más tarde se unió Chris Burke. La empresa pronto se convirtió en sólo J. El nombre se cambió a Jsoftware Inc., en abril de 2000. [84]
Publicaciones de las que Iverson fue autor o coautor mientras estuvo en Iverson Software Inc. y Jsoftware Inc .:
- Educación
- Matemáticas tangibles [123]
- Programación en J [124]
- Aritmética [125]
- Cálculo [126]
- Compañero de matemáticas concretas [127]
- Explorando las matemáticas [128]
- Frases J [129]
- Ganadores del concurso ICFP '98 [130]
- Matemáticas para legos [131]
- Diseño e implementación de lenguajes
- Un comentario sobre el desarrollo de APL [111]
- Formas de frase [110]
- APL /? [113]
- Definición tácita [118]
- Una visión personal de APL [15]
- J Introducción y diccionario [132]
- Revisando los puntos difíciles [133]
- Computadoras y notación matemática [134]
- Raíces matemáticas de J [135]
- APL en el nuevo milenio [136]
Premios y honores
- Miembro de IBM , IBM , 1970 [1] [48]
- Premio en memoria de Harry H. Goode , IEEE Computer Society , 1975 [48]
- Miembro de la Academia Nacional de Ingeniería (EE. UU.), 1979 [137]
- Premio Turing , Asociación de Maquinaria de Computación , 1979 [1]
- Premio Computer Pioneer (ganador de la Carta), IEEE Computer Society , 1982 [138]
- Doctorado honoris causa, Universidad de York , 1998 [139]
Ver también
- Premio Iverson
- Soporte Iverson
- Funciones de suelo y techo
- Lista de pioneros en informática
Referencias
- ↑ a b c d e Iverson, Kenneth E. (agosto de 1980). "La notación como herramienta de pensamiento" . Comunicaciones de la ACM . 23 (8): 444–465. doi : 10.1145 / 358896.358899 . Consultado el 8 de abril de 2016 .
- ^ a b c d e Hui, Roger , ed. (30 de septiembre de 2005), Ken Iverson Quotations and Anecdotes , consultado el 12 de febrero de 2019
- ^ a b c d e f g h yo j k Iverson, Kenneth E .; McIntyre, Donald E. (2008), Kenneth E. Iverson (Autobiography) , consultado el 8 de abril de 2016
- ^ Iverson, Eric B. (21 de octubre de 2004), Dr. Kenneth E. Iverson (mensaje del Foro J) , consultado el 8 de abril de 2016
- ^ March, Herman W .; Wolff, Henry C. (1917). Cálculo . McGraw-Hill.
- ^ Cohen, I. Bernard (1999). Howard Aiken: Retrato de un pionero de la informática . Prensa del MIT. ISBN 978-0-262-03262-9.
- ^ a b Cohen, I. Bernard ; Welch, Gregory W., eds. (1999). Haciendo números . Prensa del MIT. ISBN 978-0-262-03263-6.
- ^ Iverson, Kenneth E. (1954). Soluciones de máquinas de ecuaciones diferenciales lineales: aplicaciones a un modelo económico dinámico (tesis doctoral). Universidad de Harvard . Consultado el 7 de abril de 2016 .
- ^ Hui, Roger (agosto de 2012), "MSLDE" , Jwiki Essay , consultado el 22 de abril de 2016
- ^ Whitney, Arthur (agosto de 2006), "Memories of Ken" , Vector , 22 (3) , consultado el 25 de abril de 2016
- ^ a b c Cantrill, Bryan (febrero de 2009). "Una conversación con Arthur Whitney" . Cola de ACM . 7 (2) . Consultado el 7 de abril de 2016 .
- ^ a b Iverson, Kenneth E. (agosto de 1960), "The Description of Finite Sequential Processes" , Simposio sobre teoría de la información , Royal Institution, Londres , consultado el 9 de abril de 2016
- ^ Montalbano, Michael S. (octubre de 1982), A Personal History of APL , consultado el 10 de abril de 2016
- ^ Iverson, Kenneth E. (junio de 1954). Jacobson, Arvid W. (ed.). "Postgrado en Instrucción e Investigación" . Actas de la Primera Jornada de Formación de Personal para el Sector de las Máquinas de Computación . Universidad Estatal de Wayne . Consultado el 9 de abril de 2016 .
- ^ a b c Iverson, Kenneth E. (diciembre de 1991). "Una visión personal de APL" . Revista de sistemas de IBM . 30 (4): 582–593. doi : 10.1147 / sj.304.0582 . Consultado el 9 de abril de 2016 .
- ^ Brooks, Frederick P. (agosto de 2006). "El lenguaje, la mente y el hombre" . Vector . 22 (3). doi : 10.1111 / mila.2007.22.issue-3 . Consultado el 16 de marzo de 2018 .
- ^ a b c d Brooks Jr., Frederick P .; Iverson, Kenneth E. (1963). Procesamiento automático de datos . Wiley. ISBN 978-0-471-10599-2.
- ^ a b c Falkoff, Adin D .; Iverson, Kenneth E. (agosto de 1978). "La evolución de APL" . Avisos ACM SIGPLAN . 13 (8): 47–57. doi : 10.1145 / 960118.808372 . S2CID 6050177 . Consultado el 9 de abril de 2016 .
- ^ a b c Iverson, Kenneth E. (14 de diciembre de 1983), Letter to JK Tuttle , consultado el 16 de abril de 2016
- ^ a b c d Iverson, Kenneth E. (1962). Un lenguaje de programación . John Wiley e hijos. ISBN 978-0-471-43014-8. Consultado el 9 de abril de 2016 .
- ^ a b c d e Falkoff, Adin D .; Iverson, Kenneth E. (julio de 1973). "El diseño de APL" . Revista de investigación y desarrollo de IBM . 17 (4): 324–334. doi : 10.1147 / rd.174.0324 . Consultado el 9 de abril de 2016 .
- ^ a b c Falkoff, Adin D .; Iverson, Kenneth E .; Sussenguth, Edward H. (1964). "Una descripción formal de System / 360" (PDF) . Revista de sistemas de IBM . 3 (3): 198-261. doi : 10.1147 / sj.32.0198 . Archivado desde el original el 13 de agosto de 2006.CS1 maint: bot: estado de URL original desconocido ( enlace )
- ^ a b c d e Hui, Roger , ed. (Septiembre de 2010), APL Quotations and Anecdotes , archivado desde el original el 5 de julio de 2018 , consultado el 9 de abril de 2016
- ^ a b c d Breed, Larry (agosto de 2006). "Cómo llegamos a APL \ 1130" . Vector . 22 (3). Archivado desde el original el 18 de marzo de 2016 . Consultado el 13 de abril de 2016 .
- ^ Jenkins, Michael A. (junio de 1970), "La solución de sistemas lineales de ecuaciones y problemas de mínimos cuadrados lineales en APL", Informe técnico número 320-2989 , IBM Corp.
- ^ Jenkins, Michael A. (10 de febrero de 1972), "Domino - Una función primitiva APL para Matrix Inverse - Su implementación y aplicaciones", APL Quote Quad , 3 (4)
- ^ a b McIntyre, Donald B. (agosto de 2006), "A Tribute to Ken Iverson" , Vector , 22 (3) , consultado el 25 de abril de 2016
- ^ a b c d e Falkoff, Adin D. (diciembre de 1991). "La familia IBM de sistemas APL". Revista de sistemas de IBM . 30 (4): 416–432. doi : 10.1147 / sj.304.0416 .
- ^ a b Abrams, Philip S. (17 de agosto de 1966), "An Interpreter for" Iverson Notation " " (PDF) , Informe técnico: CS-TR-66-47 , Departamento de Ciencias de la Computación, Universidad de Stanford , consultado el 17 de abril de 2016
- ^ Falkoff, Adin D .; Iverson, Kenneth E. (16 de octubre de 1967), "The APL \ 360 Terminal System" , Informe de investigación RC-1922 , IBM , consultado el 9 de abril de 2016
- ^ Premio ACM Grace Murray Hopper (1973): Breed , Lathwell y Moore ; Consultado el 14 de abril de 2016.
- ^ Horvath, Robert W. (agosto de 1966). Introducción a la notación Iverson . División de Desarrollo de Sistemas de IBM, Poughkeepsie, NY.
- ^ a b c McDonnell, Eugene , ed. (1981), A Source Book in APL, Introduction , APL Press , consultado el 19 de abril de 2016
- ^ Breed, Larry (septiembre de 1991), "The First APL Terminal Session", APL Quote Quad , 22 (1): 2–4, doi : 10.1145 / 138094.140933 , S2CID 43138444
- ^ a b Falkoff, Adin D .; Iverson, Kenneth E. (1968). Manual del usuario de APL \ 360 (PDF) . IBM . Consultado el 11 de abril de 2016 .
- ^ a b Hui, Roger (11 de octubre de 2014), Sixteen APL Amuse-Bouches , consultado el 12 de abril de 2016
- ^ Perlis, Alan J. (29 de marzo de 1978), "Los artefactos casi perfectos mejoran solo en pequeñas formas: APL es más francés que inglés" , Actas de la conferencia APL 78 , consultado el 12 de abril de 2016
- ^ a b c d Falkoff, Adin D. (julio de 1969), "APL \ 360 History" , Proceedings of the APL Users Conference en SUNY Binghamton , consultado el 9 de abril de 2016
- ^ Iverson, Kenneth E. (1966), Conventions Governing Order of Evaluation (Apéndice A de Funciones elementales: un tratamiento algorítmico) , Science Research Associates , consultado el 16 de abril de 2016
- ^ Iverson, Kenneth E. (1972), Algebra as a Language (Apéndice A de Algebra: An Algorithmic Treatment) , Addison-Wesley , consultado el 16 de abril de 2016
- ^ a b Iverson, Kenneth E. (marzo de 1966). Funciones elementales: un tratamiento algorítmico . Asociados de investigación científica.
- ^ McDonnell, Eugene (diciembre de 1979), "The Socio-Technical Beginnings of APL" , APL Quote Quad , 10 (2): 13, doi : 10.1145 / 586148.586155 , S2CID 18025422 , consultado el 24 de abril de 2016
- ^ Goldsmith, Leslie H., Hui, Roger (ed.), APL Quotations and Anecdotes , archivado desde el original el 5 de julio de 2018 , consultado el 13 de abril de 2016
- ^ McDonnell, Eugene (septiembre de 1980). "APL recreativo, Pyramigram" . APL Quote Quote . 11 (1) . Consultado el 13 de abril de 2016 .
- ^ "APL en las escuelas públicas de Atlanta", SHARE * APL \ 360 Newsletter (3), octubre de 1969
- ^ APL IV: Fourth International APL Conference , junio de 1972 , consultado el 29 de abril de 2016
- ^ Biancuzzi, Federico; Warden, Shane (marzo de 2009). Mentes maestras de la programación . O'Reilly Media. Archivado desde el original el 5 de julio de 2018 . Consultado el 13 de abril de 2016 .
- ^ a b c "Iverson recibe el premio Harry Goode" . APL Quote Quote . 6 (2). Junio de 1975 . Consultado el 8 de abril de 2016 .
- ^ Berry, Paul (agosto de 2006), "Expository Programming" , Vector , 22 (3) , consultado el 25 de abril de 2015
- ^ Berry, Paul; Bartoli, G .; Dell'Aquila, C .; Spadavecchia, V. (marzo de 1973). "APL e Insight". TR nº CRB 002 / 513-3502 . IBM Corp.
- ^ Spence, Robert (marzo de 1973). Teoría de circuitos resistivos . IBM.
- ^ Orth, Donald L. (1976). Cálculo en una nueva clave . APL Press. ISBN 978-0-917326-05-9.
- ^ Berry, Paul; Thorstensen, John (1973). "Mapa estelar". TR No. 02.665 . IBM Corp.
- ^ Iverson, Kenneth E. (1969), El uso de APL en la enseñanza , IBM Pub. No. G320-0996 , consultado el 15 de abril de 2016
- ^ Berry, Paul; Falkoff, Adin D .; Iverson, Kenneth E. (24 de agosto de 1970). "Uso de la computadora para calcular: un enfoque directo pero descuidado para la enseñanza de las matemáticas". Conferencia Mundial IFIP sobre Educación en Computación .
- ^ Iverson, Kenneth E. (1972), Álgebra: un tratamiento algorítmico , Addison-Wesley
- ^ Iverson, Kenneth E. (enero de 1972), "APL in Exposition" (PDF) , Informe técnico número RC 320-3010 , IBM Philadelphia Scientific Center , consultado el 9 de abril de 2016
- ^ Iverson, Kenneth E. (marzo de 1973), "An Introduction to APL for Scientists and Engineers" , Technical Report Number RC 320-3019 , IBM Philadelphia Scientific Center , consultado el 9 de abril de 2016
- ^ Iverson, Kenneth E. (julio de 1972), "Introducing APL to Teachers" , Technical Report Number RC 320-3014 , IBM Philadelphia Scientific Center , consultado el 9 de abril de 2016
- ^ Iverson, Kenneth E. (1976), Análisis elemental , APL Press
- ^ Iverson, Kenneth E. (septiembre de 1978). "Estilo de programación en APL" . Actas de una reunión de usuarios de APL . Asociados de IP Sharp . Consultado el 9 de abril de 2016 .
- ^ Iverson, Kenneth E. (mayo de 1962). "Un lenguaje de programación" . Actas de la Conferencia Conjunta de Computación AFIPS Spring, San Francisco . Consultado el 13 de abril de 2016 .
- ^ Iverson, Kenneth E. (diciembre de 1962). "Un lenguaje común para hardware, software y aplicaciones" . Actas de la Conferencia conjunta de informática de otoño de AFIPS, Filadelfia . Consultado el 13 de abril de 2016 .
- ^ Iverson, Kenneth E. (junio de 1963). "Programación de notación en el diseño de sistemas" . Revista de sistemas de IBM . 2 (2): 117-128. doi : 10.1147 / sj.22.0117 . Consultado el 13 de abril de 2016 .
- ^ Iverson, Kenneth E. (febrero de 1964). "Formalismo en lenguajes de programación" . Comunicaciones de la ACM . 7 (2): 80–88. doi : 10.1145 / 363921.363933 . S2CID 14145756 . Consultado el 13 de abril de 2016 .
- ^ Iverson, Kenneth E. (octubre de 1964). "Un método de especificación de sintaxis". Comunicaciones de la ACM . 7 (10): 588–589. doi : 10.1145 / 364888.364969 . S2CID 194665 .
- ^ Falkoff, Adin D .; Iverson, Kenneth E. (mayo de 1973). "Comunicación en sistemas APL". Informe técnico 320-3022 . IBM Philadelphia Scientific Center.
- ^ Iverson, Kenneth E. (1973). APL como notación analítica . IBM Philadelphia Scientific Center.
- ^ Falkoff, Adin D .; Iverson, Kenneth E. (1973). "Manual del usuario de APLSV" (PDF) . Sh20-1460 . IBM Philadelphia Scientific Center . Consultado el 16 de abril de 2016 .
- ^ Falkoff, Adin D .; Iverson, Kenneth E. (marzo de 1975). Lenguaje APL (formulario No. GC26-3847) (PDF) . IBM.
- ^ Iverson, Kenneth E. (septiembre de 1976), "Two Combinatoric Operators", Actas de la conferencia APL 76
- ^ a b c Iverson, Kenneth E. (26 de abril de 1978), "Operators and Functions" , Research Report # RC7091 , IBM , consultado el 9 de abril de 2016
- ^ Iverson, Kenneth E. (junio de 1979), "The Role of Operators in APL" , APL 79 Conference Proceedings , consultado el 10 de abril de 2016
- ^ Iverson, Kenneth E. (junio de 1979), "The Derivative Operator", Actas de la conferencia APL 79
- ^ Iverson, Kenneth E. (octubre de 1979). "Operadores". Transacciones ACM sobre lenguajes y sistemas de programación . 1 (2): 161-176. doi : 10.1145 / 357073.357074 .
- ^ a b c Steinbrook, David H. (1986). Referencia SAX . Asociados de IP Sharp .
- ^ Hui, Roger (agosto de 2010). "En promedio" . Vector . 22 (4) . Consultado el 12 de abril de 2016 .
- ^ IPSA (enero de 1980). "Dr. Kenneth E. Iverson" (PDF) . El boletín de IP Sharp . 8 (1) . Consultado el 8 de agosto de 2019 .
- ^ Hui, Roger , ed. (14 de mayo de 2009), Eugene McDonnell Quotations and Anecdotes , consultado el 5 de abril de 2016
- ^ a b Hui, Roger; Kromberg, Morten (junio de 2020). "APL desde 1978" . Actas del ACM sobre lenguajes de programación . 4 (HOPL): 1–108. doi : 10.1145 / 3386319 . S2CID 218517570 .
- ^ a b c Iverson, Kenneth E. y Arthur T. Whitney (septiembre de 1982), "Practical Uses of a Model of APL" , APL 82 Conference Proceedings , consultado el 10 de abril de 2016
- ^ a b Iverson, Kenneth E. (marzo de 1983), "APL Syntax and Semantics" , APL 83 Conference Proceedings , consultado el 10 de abril de 2016
- ^ A Celebration of Kenneth Iverson , Computer History Museum , 30 de noviembre de 2004 , consultado el 17 de abril de 2016
- ^ a b c d e f Hui, Roger (noviembre de 2014), Remembering Ken Iverson , consultado el 10 de abril de 2016
- ^ a b c Iverson, Kenneth E. (6 de enero de 1983), Rationalized APL , IP Sharp Associates , consultado el 10 de abril de 2016
- ^ a b c d Iverson, Kenneth E. (septiembre de 1987), "A Dictionary of APL" , APL Quote Quad , 18 (1): 5–40, doi : 10.1145 / 36983.36984 , S2CID 18301178 , consultado el 10 de abril de 2016
- ^ Brown, James A. (1971). Una generalización de APL (tesis doctoral). Departamento de Ciencias de la Información y la Computación, Syracuse University.
- ^ Brown, James A. (1984), "Los principios de APL2", Informe técnico 03.247 , Laboratorio IBM Santa Teresa
- ^ Brown, James A. (1988), "Programación APL2: referencia de lenguaje", Sh20-9227 , IBM Corporation
- ^ Smith, Robert A. (septiembre de 1981). "Arrays anidados, operadores y funciones". Actas de la conferencia APL 81 .
- ^ Cheney, Carl M. (1981), APL * PLUS Nested Array System (PDF) , STSC, Inc. , consultado el 19 de abril de 2016
- ^ Orth, Donald L. (diciembre de 1981). "Una comparación de las implementaciones IPSA y STSC de operadores y matrices generales" . APL Quote Quote . 12 (2): 11. doi : 10.1145 / 586656.586662 . S2CID 1642446 . Consultado el 13 de abril de 2016 .
- ^ McDonnell, Eugene (20 de junio de 1981). "Números complejos" . SATN 40, IP Sharp Associates . Consultado el 11 de abril de 2016 .
- ^ a b Iverson, Kenneth E. (20 de junio de 1981). "Composición y Cerramiento" . SATN 41, IP Sharp Associates . Consultado el 11 de abril de 2016 .
- ^ a b Iverson, Kenneth E. (1 de abril de 1982). "Funciones de tipo determinante producidas por el operador de puntos" . SATN 42, IP Sharp Associates . Consultado el 11 de abril de 2016 .
- ^ a b Bernecky, Robert; Iverson, Kenneth E .; McDonnell, Eugene ; Metzger, Robert; Schueler, J. Henri (2 de mayo de 1983). "Extensiones de idioma de mayo de 1983" . SATN 45, IP Sharp Associates . Consultado el 11 de abril de 2016 .
- ^ Tuttle, Joey K. (agosto de 2006), "¿Qué hay de malo en mi programación?" , Vector , 22 (3) , consultado el 25 de abril de 2016
- ^ a b Iverson, Kenneth E. (6 de octubre de 1980), "The Inductive Method of Introducing APL" , Actas de la reunión de usuarios de APL de 1980 , consultado el 10 de abril de 2016
- ^ a b Iverson, Kenneth E. (enero de 1981). Un minicurso de APL AFINADO . Asociados de IP Sharp .
- ^ a b Iverson, Kenneth E. (1984). Matemáticas aplicadas para programadores . Asociados de IP Sharp .
- ^ a b Iverson, Kenneth E. (julio de 1986). Matemáticas y Programación . Asociados de IP Sharp .
- ^ Bernecky, Robert; Iverson, Kenneth E. (6 de octubre de 1980), "Operators and Enclosed Arrays" , Actas de la reunión de usuarios de APL de 1980 , consultado el 10 de abril de 2016
- ^ Iverson, Kenneth E. (octubre de 1980). "Definición directa". SATN 36, IP Sharp Associates .
- ^ Iverson, Kenneth E .; Wooster, Peter K. (septiembre de 1981), "A Function Definition Operator" , Actas de la conferencia APL 81
- ^ a b Iverson, Kenneth E .; Pesch, Roland H .; Schueler, J. Henri (junio de 1984), "An Operator Calculus" , APL 84 Conference Proceedings , consultado el 10 de abril de 2016
- ^ a b Iverson, Kenneth E. (mayo de 1987), "APL87" , APL 87 Conference Proceedings , consultado el 10 de abril de 2016
- ^ Hagamen, WD; Berry, PC; Iverson, KE; Weber, JC (agosto de 1989), "Processing Natural Language: Syntactic and Semantic Mechanisms", APL Quote Quad , 19 (4): 184–189, doi : 10.1145 / 75144.75170 , ISBN 0897913272, S2CID 14004227
- ^ Hui, Roger (3 de diciembre de 2014). "¿La expresión APL favorita de Ken Iverson?" . Blog de Dyalog . Consultado el 12 de abril de 2016 .
- ^ Dyalog APL Language Reference (versión 14.0 o posterior) (PDF) , Dyalog Limited, 2014 , consultado el 16 de abril de 2016
- ^ a b Iverson, Kenneth E. y Eugene McDonnell (agosto de 1989), "Phrasal Forms" , APL 89 Conference Proceedings , consultado el 10 de abril de 2016
- ^ a b Iverson, Kenneth E. (septiembre de 1988). "Un comentario sobre el desarrollo de APL" . APL Quote Quote . 19 (1): 3–8. doi : 10.1145 / 379279.379330 . S2CID 18392328 . Consultado el 13 de abril de 2016 .
- ^ Hodgkinson, Rob (19 de octubre de 2017), publicación en J Programming Forum
- ^ a b Hui, Roger ; Iverson, Kenneth E .; McDonnell, Eugene ; Whitney, Arthur (julio de 1990), "APL /?" , APL 90 Conference Proceedings , consultado el 10 de abril de 2016
- ^ Hui, Roger (27 de enero de 1992). Una implementación de J (PDF) . Iverson Software Inc . Consultado el 10 de abril de 2016 .
- ^ Hui, Roger (mayo de 1987). "Algunos usos de {y}" . Actas de la conferencia APL 87 . Consultado el 15 de abril de 2016 .
- ^ Hui, Roger (junio de 1995). "Rango y uniformidad" . Actas de la conferencia APL 95 . Consultado el 15 de abril de 2016 .
- ^ Hui, Roger (27 de enero de 2006), "The TAO of J" , J Wiki Essay , consultado el 24 de mayo de 2016
- ^ a b Hui, Roger ; Iverson, Kenneth E .; McDonnell, Eugene (agosto de 1991), "Tacit Definition" , APL 91 Conference Proceedings , consultado el 10 de abril de 2016
- ^ Cherlin, Edward (agosto de 1991). "Funciones puras en APL y J". Actas de la conferencia APL 91 .
- ^ Burke, Chris; Hui, Roger (septiembre de 1996). "J para el programador APL" . APL Quote Quote . 27 (1): 11-17. doi : 10.1145 / 1151395.1151400 . S2CID 9203778 . Consultado el 14 de abril de 2016 .
- ^ Burke, Chris (2 de marzo de 2005), APL y J (PDF) , consultado el 16 de abril de 2016
- ^ J Source , Jsoftware, Inc. , consultado el 15 de abril de 2016
- ^ Iverson, Kenneth E. (1991). Matemáticas tangibles . Iverson Software Inc.
- ^ Iverson, Kenneth E. (1991). Programación en J . Iverson Software Inc.
- ^ Iverson, Kenneth E. (1991). Aritmética (PDF) . Iverson Software Inc . Consultado el 10 de abril de 2016 .
- ^ Iverson, Kenneth E. (1993). Cálculo (PDF) . Iverson Software Inc . Consultado el 10 de abril de 2016 .
- ^ Iverson, Kenneth E. (1995). Compañero de matemáticas concretas (PDF) . Iverson Software Inc . Consultado el 10 de abril de 2016 .
- ^ Iverson, Kenneth E. (1996). Explorando las matemáticas (PDF) . Iverson Software Inc . Consultado el 10 de abril de 2016 .
- ^ Burke, Chris; Hui, Roger ; Iverson, Kenneth E .; McDonnell, Eugene ; McIntyre, Donald B. (1996). Frases J . Iverson Software Inc . Consultado el 10 de abril de 2016 .
- ^ Burke, Chris; Hui, Roger ; Iverson, Eric; Iverson, Kenneth E .; Iverson, Kirk (1998), ICFP '98 Contest Winners , consultado el 15 de abril de 2016
- ^ Iverson, Kenneth E. (1999). Matemáticas para el profano . JSoftware Inc . Consultado el 10 de abril de 2016 .
- ^ Hui, Roger ; Iverson, Kenneth E. (1991). "J Introducción y Diccionario" . Jsoftware Inc . Consultado el 9 de abril de 2016 . Cite journal requiere
|journal=
( ayuda ) - ^ Iverson, Kenneth E. (marzo de 1994). "Revisitando los puntos difíciles" . APL Quote Quote . 24 (3): 13–16. doi : 10.1145 / 181983.181986 . S2CID 2140469 . Consultado el 13 de abril de 2016 .
- ^ Iverson, Kenneth E. (1996), Computers and Mathematical Notation , Iverson Software Inc. , consultado el 10 de abril de 2016
- ^ Hui, Roger ; Iverson, Kenneth E. (enero de 1998), "Mathematical Roots of J", APL 97 Conference Proceedings : 21-30, doi : 10.1145 / 316689.316698 , S2CID 2317632
- ^ Iverson, Kenneth E. (agosto de 2006), "APL in the New Millennium" , Vector , 22 (3) , consultado el 25 de abril de 2016
- ^ Directorio de miembros de NAE , Academia Nacional de Ingeniería , consultado el 22 de abril de 2016
- ^ Computer Pioneer Award (Charter Recipient) , IEEE Computer Society , 1982 , consultado el 8 de abril de 2016
- ^ Drummond, B. (11 de junio de 1998), Cita para el Dr. Kenneth Iverson , Universidad de York , consultado el 8 de abril de 2016
enlaces externos
- Obras de Kenneth E. Iverson en Open Library
- Una celebración de la vida de Kenneth Eugene Iverson
- Elogios recopilados
Concurso de programación del examen Iverson en la Universidad de Alberta para estudiantes de secundaria- Ken Iverson Citas y anécdotas
ilustraciones de cómo era Iverson como persona, cómo era trabajar con él, el medio en el que estudiaba y trabajaba, su visión de la vida, su sentido del humor, etc. - Citas y anécdotas de APL
bocetos de Iverson, sus colegas y sus descendientes intelectuales