Кеннет Э. Айверсон - Kenneth E. Iverson

Кеннет Юджин Айверсон
Кей младший.jpg
Родившийся(1920-12-17)17 декабря 1920 г.
Камроуз, Альберта, Канада
Умер19 октября 2004 г.(2004-10-19) (83 года)
Торонто, Онтарио, Канада
ГражданствоКанадский
Альма-матерКоролевский университет
Гарвардский университет
ИзвестенЯзыки программирования: APL, J
НаградыСотрудник IBM
Премия памяти Гарри Х. Гуда
Премия Тьюринга
Премия Computer Pioneer
Научная карьера
ПоляМатематика
Информатика
УчрежденияГарвардский университет
IBM
I. P. Sharp Associates
Jsoftware Inc.
ТезисМашинные решения линейных дифференциальных уравнений - приложения к динамической экономической модели (1954)
ДокторантГовард Эйкен
Василий Леонтьев

Кеннет Юджин Айверсон (17 декабря 1920 - 19 октября 2004) был канадцем специалист в области информатики отмечен за развитие языка программирования APL. Он был удостоен награды Премия Тьюринга в 1979 году «за его новаторские усилия в языках программирования и математической нотации, результатом которых стало то, что в области вычислений теперь известно как APL; за его вклад в реализацию интерактивных систем, в образовательное использование APL, а также в теорию и практику языков программирования».[1]

Жизнь

Кен Айверсон родился 17 декабря 1920 г. Camrose, город в центре Альберта, Канада. Его родители были фермерами, приехавшими в Альберту из Северная Дакота; его предки произошли от Тронхейм, Норвегия.[2]

В течение Вторая Мировая Война, он служил первым в Канадская армия а затем в Королевские ВВС Канады.[2][3] Он получил степень бакалавра искусств. степень от Королевский университет и M.Sc. и к.т.н. градусов от Гарвардский университет. За свою карьеру он работал на Гарвард, IBM, I. P. Sharp Associates и Jsoftware Inc. (урожденная Iverson Software Inc.).

Айверсон перенес инсульт во время работы за компьютером на новом J lab 16 октября 2004 г. и умер 19 октября 2004 г. в возрасте 83 лет.[4]

Образование

Айверсон пошел в школу 1 апреля 1926 г. однокомнатная школа,[3] Первоначально учился в 1 классе, через 3 месяца перешел во 2 класс, а к концу июня 1927 г. - в 4 класс. После 9 класса он бросил школу, потому что это было самое плохое. Великая депрессия и нужно было поработать семейная ферма, и потому что он думал, что дальнейшее обучение приведет только к тому, чтобы стать учителем, и у него не было никакого желания им становиться. В 17 лет, еще не посещая школу, он записался на заочный курс радиосвязи с De Forest Training в Чикаго, и выучил математический анализ самостоятельно по учебнику.[3][5]В течение Вторая Мировая Война, служа в Королевские ВВС Канады, он прошел заочные курсы для получения аттестата об окончании средней школы.

После войны Айверсон поступил в Королевский университет в Кингстон, Онтарио, воспользовавшись государственной поддержкой бывших военнослужащих и под угрозой со стороны приятеля из ВВС, который сказал, что «вышибет себе мозги, если он не воспользуется возможностью».[3] Он закончил учебу в 1950 году как лучший студент с Степень бакалавра в математика и физика.[2]

Продолжая свое образование в Гарвардский университет, он начал с факультета математики и получил Степень магистра в 1951 году. Затем он перешел на факультет инженерной и прикладной физики, работая с Говард Эйкен и Василий Леонтьев.

Кеннет Айверсон вспомнил учебу в аспирантуре у Эйкена как «как ученичество», в котором студент «изучал инструменты торговли стипендиями». Каждая тема «использовалась больше как фокус для развития таких навыков, как ясность мысли и выражения, чем как самоцель». После зачисления в программу аспирант проходит обряд «принятия в лоно». Ему дали стол (или часть стола) среди группы других аспирантов, постоянного персонала или приглашенных ученых, «большинство из которых были вовлечены в некоторые аспекты проектирования и создания компьютеров». Таким образом, студента «заставляли чувствовать себя частью научного предприятия» и предоставляли «часто впервые, легкий и близкий доступ к другим, более опытным в выбранной им области».

— И. Бернард Коэн, Говард Эйкен: портрет компьютерного пионера, MIT Press, 1999, стр. 215.[6]

Во время интервью с Айкеном я спросил его, можем ли мы с Троппом увидеть его конспекты лекций; Айкен ответил, что он всегда уничтожал свои конспекты лекций в конце каждого года, чтобы у него не возникало соблазна повторять свои лекции.

— И. Бернард Коэн и Грегори У. Велч, редакторы, Makin 'Numbers, MIT Press, 1999, стр. xvi.[7]

Говард Эйкен разработал Гарвард Марк I, один из первых крупных цифровых компьютеров, а Василий Леонтьев был экономистом, который разрабатывал модель ввода-вывода экономического анализа, работа, за которую он позже получит Нобелевская премия. Модель Леонтьева требовала больших матриц, и Айверсон работал над программами, которые могли оценивать эти матрицы на Гарвард Марк IV компьютер. Айверсон получил Кандидат наук. в Прикладная математика в 1954 г. защитил диссертацию по этой работе.[8][9]

В Гарварде Айверсон встретил Эоина Уитни, дважды Putnam Fellow и сокурсник из Альберты.[10][11] Это имело последствия в будущем.

Работа

Гарвард (1955–1960)

Симплексный алгоритм в обозначениях Айверсона[12][13]

Айверсон остался в Гарварде в качестве доцент реализовать первую в мире аспирантуру по «автоматической обработке данных».[14][15][16]

Многие думают, что Айкен интересовался только научный компьютеры. Это было просто не так. Во время одного часа кофе Айкен повернулся к Кену Айверсону, который только что защитил докторскую диссертацию, и сказал: «Эти машины будут чрезвычайно важны для бизнеса, и я хочу, чтобы вы подготовили и провели курс по обработке бизнес-данных. следующей осенью ". Такого курса нигде в мире не было. Кен получил квалификацию только потому, что был математиком. Я был так взволнован перспективой, что немедленно вызвался стать ассистентом Кена в аспирантуре.

— Фредерик Брукс мл., Эйкен и Гарвардская "Comp Lab", в И. Бернарде Коэне и Грегори В. Велче, редакторах, Макин числа, MIT Press, 1999, стр. 141.[7]

Именно в этот период Айверсон разработал нотацию для описания и анализа различных тем в обработке данных, для учебных классов и для письма (с Бруксом). Автоматическая обработка данных.[17] Он был «потрясен», обнаружив, что обычные математические обозначения не удовлетворяют его потребности, и начал работу над расширениями обозначений, которые были более подходящими. В частности, он принял матричную алгебру, используемую в его дипломной работе, систематическое использование матриц и многомерных массивов в тензор анализ, а операторы в смысле Хевисайд в его обращении с Уравнения Максвелла, функции высшего порядка на аргументе (ах) функции с результатом функции.[3] Нотация была также опробована в деловом мире в 1957 году во время шестимесячного творческого отпуска, проведенного в McKinsey & Company.[3][18] Первая опубликованная статья с использованием обозначений была Описание конечных последовательных процессов., первоначально отчет № 23 на Bell Labs а затем переработан и представлен на Четвертом Лондонском симпозиуме по теории информации в августе 1960 года.[12][19]

Айверсон проработал в Гарварде пять лет, но не получил должности, потому что «[он не] опубликовал ничего, кроме одной маленькой книжки».[2]

IBM (1960–1980)

Айверсон присоединился IBM Research в 1960 году (и удвоил зарплату).[3] Ему предшествовал IBM Фред Брукс, который посоветовал ему «придерживаться того, чем [он] действительно хотел заниматься, потому что менеджмент так жаждал идей, что все, что не было явно сумасшедшим, могло найти поддержку». В частности, ему разрешили закончить и опубликовать Язык программирования[19][20] и (с Бруксом) Автоматическая обработка данных,[17] две книги, в которых описаны и использованы обозначения, разработанные в Гарварде. (Автоматическая обработка данных и Язык программирования начиналась как одна книга, «но материал рос как по размеру, так и по уровню, пока разделение не оказалось разумным».[17][20])

В IBM Айверсон вскоре познакомился Адин Фалькофф, и они работали вместе в течение следующих двадцати лет. Глава 2 Язык программирования использовал обозначения Айверсона для описания IBM 7090 компьютер.[19][20] В начале 1963 года Фалькофф, к которому позже присоединились Айверсон и Эд Сассенгут, перешел к использованию обозначений для формального описания IBM System / 360 компьютер тогда в стадии разработки.[21] Результат был опубликован в 1964 году в двойном выпуске журнала IBM Systems Journal.[22] впоследствии известный как «серая книга» или «серая инструкция». Книга использовалась в курсе по проектированию компьютерных систем в Институте системных исследований IBM.[22] Следствием формального описания было то, что оно привлекло интерес ярких молодых умов.[3][23] Один очаг интереса находился на Стэндфордский Университет который включал Ларри Брид, Фил Абрамс, Роджер Мур, Чарльз Бреннер,[24] и Майк Дженкинс,[25][26] все они позже сделали взносы в APL. Дональд Макинтайр, руководитель геологии в Помона Колледж у которого была первая общая клиентская установка системы 360, использовало формальное описание, чтобы стать более опытным, чем системный инженер IBM, назначенный Помоне.[3][27]

Завершив формальное описание, Фалькофф и Айверсон обратили внимание на реализацию. Эта работа была реализована в 1965 году, когда Ларри Брид и Фил Абрамс присоединился к проекту. К осени 1965 года они создали реализацию на базе FORTRAN на 7090 под названием IVSYS (для системы Iverson), сначала в пакетном режиме, а затем, в начале 1966 года, в интерактивном режиме с разделением времени.[24][28][29] Впоследствии Порода, Дик Латвелл (бывший Университет Альберты ) и Роджер Мур (из I. P. Sharp Associates ) произвел реализацию System / 360;[30] трое получили Премия Грейс Мюррей Хоппер в 1973 г. «За их работу по разработке и внедрению APL 360, установившую новые стандарты простоты, эффективности, надежности и времени отклика для интерактивных систем».[31] Пока шла работа по реализации 360 "Нотация Иверсона"[29][32] был переименован Фалькоффом в "APL".[33] Рабочее пространство «1 чистое пространство» сохранено 27.11.1966 в 22:53:58 универсальное глобальное время.[23] Сервис APL 360 начался в IBM за несколько недель до этого.[34] и вне IBM в 1968 году.[28] Дополнительную информацию о реализации APL 360 можно найти в Благодарностях Руководство пользователя APL 360[35] и в «Приложении. Хронология развития APL» Дизайн APL.[21]

Выражение APL для глубины вложенности скобок[36][37]

Формальное описание и особенно реализация стимулировали эволюцию языка, процесс консолидации и регуляризации в типографике, линеаризации, синтаксисе и определении функций, описанных в История APL 360,[38] Дизайн APL,[21] и Эволюция APL.[18] Два трактата этого периода, Соглашения, регулирующие порядок оценки[39] и Алгебра как язык,[40] являются апологетикой нотации APL.

Эта нотация использовалась Фалькоффом и Айверсоном для преподавания различных тем в различных университетах и ​​в Институте системных исследований IBM.[21][38] В 1964 году Айверсон использовал нотацию в односеместровом курсе для старшеклассников в Fox Lane High School, дневная,[33][41] а позже в Свортморская средняя школа.[3] После того, как APL стал доступен, его первым приложением стало обучение формальным методам проектирования систем в НАСА Годдард.[38][42] Он также использовался в Школа Гочкиса,[24] Колледж Нижней Канады,[43] Scotch Plains High School, дневная,[44] Государственные школы Атланты,[45][46] среди прочего. В одной школе ученики так захотели, что ворвались в школу в нерабочее время, чтобы получить больше компьютерного времени APL;[23][47] в другом энтузиасты APL направили новичков в БАЗОВЫЙ так, чтобы максимизировать собственное время APL.[24]

В 1969 году Айверсон и группа APL открыли IBM Philadelphia Scientific Center.[28][38] В 1970 году ему присвоено имя Сотрудник IBM.[48] Он использовал финансирование, полученное благодаря стипендии IBM, чтобы привлечь учителей и профессоров из различных областей, включая Дональда Макинтайра из Помоны.[27] и Джефф Шаллит как летний студент.[23] В течение нескольких месяцев посетители начали использовать APL для выставок на своих полях, и была надежда, что позже они продолжат использование APL в своих домашних учреждениях.[49] Работа Айверсона в то время была сосредоточена в нескольких дисциплинах, включая совместные проекты в области теории цепей, генетики, геологии и математического анализа.[50][51][52][53] Когда PSC закрылся в 1974 году,[28][33] некоторые из группы переехали в Калифорнию, в то время как другие, включая Айверсона, остались на Востоке, а затем вернулись в IBM Research. Айверсон получил Премия Тьюринга в 1979 г.[1]

(Слева направо) Дик Латвелл, Кен Айверсон, Роджер Мур, Адин Фалькофф, Фил Абрамс и Ларри Брид. Крайний слева на заднем плане: Джон МакГрю. Снято в I.P. Гостиничный комплекс Sharp Associates во время встречи пользователей APL 1978 года в Торонто, Онтарио.

В следующей таблице перечислены публикации, автором или соавтором которых является Айверсон, пока он работал в IBM. Они отражают два основных направления его работы.

Образование
  • Автоматическая обработка данных[17]
  • Элементарные функции: алгоритмическое лечение[41]
  • Использование APL в обучении[54]
  • Использование компьютера для вычислений[55]
  • Алгебра: алгоритмическое лечение[56]
  • APL в экспозиции[57]
  • Введение в APL для ученых и инженеров[58]
  • Знакомство с APL для учителей[59]
  • Элементарный анализ[60]
  • Стиль программирования в APL[61]
Языковой дизайн и реализация
  • Язык программирования[20]
  • Язык программирования[62]
  • Общий язык для оборудования, программного обеспечения и приложений[63]
  • Обозначения программирования в системном дизайне[64]
  • Формализм в языках программирования[65]
  • Метод спецификации синтаксиса[66]
  • Формальное описание системы / 360[22]
  • Руководство пользователя APL 360[35]
  • Связь в системах APL[67]
  • Дизайн APL[21]
  • APL как аналитическая нотация[68]
  • Руководство пользователя APLSV[69]
  • Язык APL[70]
  • Два комбинаторных оператора[71]
  • Эволюция APL[18]
  • Операторы и функции[72]
  • Роль операторов в APL[73]
  • Оператор производной[74]
  • Операторы[75]
  • Обозначение как инструмент мысли[1]

I. P. Sharp Associates (1980–1987)

Оператор ранга APL ⍤ [76][77]

В 1980 году Айверсон покинул IBM, чтобы I. P. Sharp Associates,[78][79] APL совместное времяпровождение Компания. Там ему предшествовали его коллеги по IBM Пол Берри, Джои Таттл, Дик Латвелл, и Юджин МакДоннелл. В IPSA группой языков и систем APL руководил Эрик Айверсон (сын Кена Айверсона); Роджер Мур, один из разработчиков APL 360, был вице-президентом.

Айверсон работал над развитием и расширением APL по направлениям, представленным в Операторы и функции.[72][80] Языковая работа получила импульс в 1981 году, когда Артур Уитни и Айверсон создал модель APL, написанную на APL[81][82] в то же время они работали над IPSA OAG база данных.[2][11][83] (Айверсон познакомил Артура Уитни, сына Эоина Уитни, с APL, когда ему было 11 лет.[11] а в 1974 рекомендовал его на летнюю студенческую должность в IPSA. Калгари.[23]) В модели синтаксис APL управлялся таблицей 11 на 5. Уитни также изобрела оператор ранга в процессе.[84] Дизайн языка был дополнительно упрощен и расширен в Рационализированный APL[85] в январе 1983 г. несколько изданий Словарь языка APL с 1984 по 1987 год, и Словарь APL[86] в сентябре 1987 года. В IPSA фраза «словарь APL» вошла в употребление для обозначения APL, определяемого Словарь APL, сам именуемый «словарем». В словаре синтаксис APL управляется таблицей 9 на 6, а процесс синтаксического анализа был точно и лаконично описан в таблице 2, и есть примитив (монадический ⊥, смоделированный в APL) для словообразования (лексика ).

В 1970-х и 1980-х годах основными поставщиками APL были IBM, STSC, и IPSA, и все трое были активны в развитии и расширении языка. У IBM был APL2, основанный на работе Джим Браун.[87][88][89] Работа над APL2 продолжалась с перебоями в течение 15 лет,[28] Фактическое программирование началось в 1971 году, а APL2 стал доступен как IUP (установленная пользовательская программа, классификация продуктов IBM) в 1982 году. У STSC была экспериментальная система APL под названием NARS, разработанная и реализованная Бобом Смитом.[90][91] NARS и APL2 принципиально отличались от словаря APL,[92] и отличались друг от друга.

И. Sharp реализовала новые идеи APL поэтапно: комплексные числа,[93] закрытые (упакованные) массивы, сопоставления и операторы композиции в 1981 г.,[94] детерминантный оператор в 1982 г.,[95] и оператор ранга, связь, а также функции левого и правого тождества в 1983 г.[96] Однако домены операторов по-прежнему ограничивались примитивными функциями или их подмножествами. В 1986 году IPSA разработала SAX,[76][97] SHARP APL / Unix, написанный на C и основанный на реализации STSC. Язык был таким, как указано в словаре, без ограничений по доменам операторов. Альфа-версия SAX стала доступна в I.P. Резко примерно в декабре 1986 или начале 1987 года.

В образовании Айверсон разработал Мини-курс SHARP APL[98][99] используется для обучения клиентов IPSA использованию APL, и Прикладная математика для программистов[100] и Математика и программирование[101] которые использовались в курсах информатики в T.H. Твенте.

Кен Айверсон и Артур Уитни, 1989

Публикации, автором или соавтором которых является Иверсон, пока он учился в I. P. Sharp Associates:

Образование
  • Индуктивный метод введения APL[98]
  • Мини-курс SHARP APL[99]
  • Прикладная математика для программистов[100]
  • Математика и программирование[101]
Языковой дизайн и реализация
  • Операторы и закрытые массивы[102]
  • Прямое определение[103]
  • Состав и корпус[94]
  • Оператор определения функции[104]
  • Детерминантные функции, производимые оператором точки[95]
  • Практическое использование модели APL[81]
  • Рационализированный APL[85]
  • Синтаксис и семантика APL[82]
  • Расширения языков в мае 1983 г.[96]
  • Операторное исчисление[105]
  • APL87[106]
  • Словарь APL[86]
  • Обработка естественного языка: синтаксические и семантические механизмы[107]

Jsoftware (1990–2004 гг.)

J молчаливый глагол для биномиальных коэффициентов[36][108]
Dyalog APL[109] эквивалентное вычисление

Айверсон ушел из I.P. Sharp Associates в 1987 году. Он был занят «в перерывах между работой». Что касается языкового дизайна, наиболее значительным из его действий в этот период было изобретение «вилки» в 1988 году.[110] В течение многих лет он изо всех сил пытался найти способ записать f + g, как в исчислении, на основе «скалярных операторов» 1978 года,[72] через оператор "til" в 1982 г.,[81][85] операторы цепочки и преобразования в 1984 году,[105] операторы объединения и пересечения в 1987 г.,[86] «иго» в 1988 г.,[111] и наконец вилки в 1988 году. Вилки определяются следующим образом:

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

Кроме того, (f g p q r) ← → (f g (p q r)). Таким образом, чтобы написать f + g как в исчислении, можно написать f + g в APL. Айверсон и Юджин МакДоннелл проработал детали длительных перелетов на конференцию APL88 в Сиднее, Австралия, и Айверсон предложил первоначальную идею, как проснуться от сна.[84][112][80]:§1.3,§3.8

Айверсон представил обоснование своей работы в 1987 году следующим образом:[15]

Когда я уволился с оплачиваемой работы, я снова обратил свое внимание на этот вопрос [использование APL для обучения] и вскоре пришел к выводу, что основным необходимым инструментом является диалект APL, который:

• Доступно как «условно-бесплатное ПО» и достаточно недорого, чтобы его могли приобрести как ученики, так и школы.
• Возможность печати на стандартных принтерах
• Работает на самых разных компьютерах.
• Обеспечивает простоту и универсальность последних идей в APL.

Результат был J, впервые было сообщено в [ APL 90 Conference Proceedings].[113]

Роджер Хуэй описал последний импульс, который заставил J начать работу в Приложении А к Реализация J:[114]

В один летний уикенд 1989 года, Артур Уитни посетил Кена Айверсона на обжиговой ферме и подготовил - на одной странице и за один день - фрагмент переводчика на Компьютер AT&T 3B1. Я изучал этот интерпретатор около недели на его организацию и стиль программирования; и в воскресенье, 27 августа 1989 года, около четырех часов дня, написал первую строку кода, которая стала реализацией, описанной в этом документе. Фрагмент одностраничного интерпретатора Артура выглядит следующим образом: ...

Хуэй, одноклассник Уитни по Университет Альберты, учился Словарь языка APL когда он был между работами,[3] смоделировал процесс синтаксического анализа как минимум двумя способами,[84] и исследовал использование словаря APL в различных приложениях.[115] Кроме того, с января 1987 года по август 1989 года он имел доступ к SAX,[76] и в более позднюю часть этого периода использовал его ежедневно.[84]

J изначально взял Словарь APL[86] как спецификация, а интерпретатор J был построен на основе таблицы 2 словаря. Данные и программные структуры C были разработаны таким образом, чтобы таблица синтаксического анализа в C соответствовала непосредственно таблице синтаксического анализа в словаре.[84] Оглядываясь назад, можно сказать, что статья Айверсона APL87 APL87,[106] на пяти страницах прописаны все основные этапы написания интерпретатора APL, в частности разделы по словообразованию и синтаксическому анализу. Артур Уитни, в дополнение к «одностраничной штуке», внесла свой вклад в разработку J, предложив, чтобы примитивы были ориентированы на ведущую ось, что соглашение (обобщение скалярного расширения) должно быть префиксом вместо суффикса,[116] и что должен быть определен общий порядок массива.[117]

Одна из задач заключалась в реализации форка. Это оказалось довольно просто, добавив еще одну строку в таблицу синтаксического анализа. Выбор вилок был случайным и удачным. Это было реализовано позже[118][119] что вилки сделали молчаливые выражения (операторные выражения) завершаются в следующем смысле: любое предложение, содержащее один или два аргумента, которые не использовали свои аргументы в качестве операнда, может быть неявно записано с помощью fork, compose, левых и правых функций идентичности и константных функций.

Два очевидных различия между J и другими диалектами APL: (а) использование терминов из естественных языков, а не из математики или информатики (практика началась с Словарь APL): существительное, глагол, наречия, алфавит, словообразование, предложение, ... вместо массива, функция, оператор, набор символов, лексика, выражение, ...; и (b) использование 7-битных символов ASCII вместо специальных символов. Другие различия между J и APL описаны в J для программиста APL[120] и APL и J.[121]

Исходный код J доступен в Jsoftware под Стандартная общественная лицензия GNU версия 3 (GPL3) или коммерческая альтернатива.[122]

Эрик Айверсон основал Iverson Software Inc. в феврале 1990 года, чтобы предоставить улучшенный продукт SHARP APL / PC. Вскоре стало очевидно, что существуют общие интересы и цели, и в мае 1990 года Айверсон и Хуэй присоединились к Iverson Software Inc .; позже к нему присоединился Крис Берк. Вскоре компания стала J only. В апреле 2000 года название было изменено на Jsoftware Inc.[84]

Кен Айверсон (справа) и Роджер Хуэй, 1996 г.

Публикации, автором или соавтором которых является Иверсон, когда он работал в Iverson Software Inc. и Jsoftware Inc.:

Образование
  • Материальная математика[123]
  • Программирование на J[124]
  • Арифметика[125]
  • Исчисление[126]
  • Конкретный помощник по математике[127]
  • Изучение математики[128]
  • J Фразы[129]
  • Победители конкурса ICFP '98[130]
  • Математика для обывателя[131]
Языковой дизайн и реализация
  • Комментарий к разработке APL[111]
  • Фразовые формы[110]
  • APL /?[113]
  • Молчаливое определение[118]
  • Личный взгляд на APL[15]
  • J Введение и словарь[132]
  • Возвращение к грубым пятнам[133]
  • Компьютеры и математические обозначения[134]
  • Математические корни J[135]
  • APL в новом тысячелетии[136]

Награды и отличия

Смотрите также

Рекомендации

  1. ^ а б c d е Айверсон, Кеннет Э. (август 1980 г.). «Нотация как инструмент мысли». Коммуникации ACM. 23 (8): 444–465. Дои:10.1145/358896.358899. Получено 8 апреля 2016.
  2. ^ а б c d е Хуэй, Роджер, изд. (30 сентября 2005 г.), Цитаты и анекдоты Кена Айверсона, получено 12 февраля 2019
  3. ^ а б c d е ж грамм час я j k Iverson, Kenneth E .; Макинтайр, Дональд Э. (2008), Кеннет Э. Айверсон (Автобиография), получено 8 апреля 2016
  4. ^ Айверсон, Эрик Б. (21 октября 2004 г.), Д-р Кеннет И. Айверсон (сообщение J Forum), получено 8 апреля 2016
  5. ^ March, Herman W .; Вольф, Генри К. (1917). Исчисление. Макгроу-Хилл.
  6. ^ Коэн, И. Бернар (1999). Говард Эйкен: портрет компьютерного пионера. MIT Press. ISBN  978-0-262-03262-9.
  7. ^ а б Коэн, И. Бернар; Уэлч, Грегори В., ред. (1999). Макин числа. MIT Press. ISBN  978-0-262-03263-6.
  8. ^ Айверсон, Кеннет Э. (1954). Машинные решения линейных дифференциальных уравнений - приложения к динамической экономической модели (Кандидатская диссертация). Гарвардский университет. Получено 7 апреля 2016.
  9. ^ Хуэй, Роджер (Август 2012 г.), «МСЛДЭ», Эссе Jwiki, получено 22 апреля 2016
  10. ^ Уитни, Артур (Август 2006 г.), «Воспоминания о Кене», Вектор, 22 (3), получено 25 апреля 2016
  11. ^ а б c Кантрилл, Брайан (Февраль 2009 г.). «Разговор с Артуром Уитни». Очередь ACM. 7 (2). Получено 7 апреля 2016.
  12. ^ а б Айверсон, Кеннет Э. (август 1960 г.), «Описание конечных последовательных процессов», Симпозиум по теории информации, Королевский институт, Лондон, получено 9 апреля 2016
  13. ^ Монтальбано, Майкл С. (Октябрь 1982 г.), Личная история APL, получено 10 апреля 2016
  14. ^ Айверсон, Кеннет Э. (июнь 1954 г.). Якобсон, Арвид У. (ред.). «Высшее обучение и исследования». Материалы Первой конференции по подготовке кадров для области вычислительной техники. Государственный университет Уэйна. Получено 9 апреля 2016.
  15. ^ а б c Айверсон, Кеннет Э. (декабрь 1991 г.). «Личный взгляд на APL». Журнал IBM Systems. 30 (4): 582–593. Дои:10.1147 / sj.304.0582. Получено 9 апреля 2016.
  16. ^ Брукс, Фредерик П. (Август 2006 г.). «Язык, разум и человек». Вектор. 22 (3). Дои:10.1111 / mila.2007.22.issue-3. Получено 16 марта 2018.
  17. ^ а б c d Брукс-младший, Фредерик П.; Айверсон, Кеннет Э. (1963). Автоматическая обработка данных. Вайли. ISBN  978-0-471-10599-2.
  18. ^ а б c Фалькофф, Адин Д.; Айверсон, Кеннет Э. (август 1978 г.). «Эволюция APL». Уведомления ACM SIGPLAN. 13 (8): 47–57. Дои:10.1145/960118.808372. S2CID  6050177. Получено 9 апреля 2016.
  19. ^ а б c Айверсон, Кеннет Э. (14 декабря 1983 г.), Письмо J.K. Tuttle, получено 16 апреля 2016
  20. ^ а б c d Айверсон, Кеннет Э. (1962). Язык программирования. Джон Вили и сыновья. ISBN  978-0-471-43014-8. Получено 9 апреля 2016.
  21. ^ а б c d е Фалькофф, Адин Д.; Айверсон, Кеннет Э. (июль 1973 г.). «Дизайн APL». Журнал исследований и разработок IBM. 17 (4): 324–334. Дои:10.1147 / rd.174.0324. Получено 9 апреля 2016.
  22. ^ а б c Фалькофф, Адин Д.; Iverson, Kenneth E .; Sussenguth, Эдвард Х. (1964). «Формальное описание системы / 360» (PDF). Журнал IBM Systems. 3 (3): 198–261. Дои:10.1147 / sj.32.0198. Архивировано 13 августа 2006 года.CS1 maint: BOT: статус исходного URL-адреса неизвестен (связь)
  23. ^ а б c d е Хуэй, Роджер, изд. (Сентябрь 2010 г.), Цитаты и анекдоты APL, заархивировано из оригинал 5 июля 2018 г., получено 9 апреля 2016
  24. ^ а б c d Порода, Ларри (Август 2006 г.). "Как мы попали в APL 1130". Вектор. 22 (3). Архивировано из оригинал 18 марта 2016 г.. Получено 13 апреля 2016.
  25. ^ Дженкинс, Майкл А.(Июнь 1970 г.), "Решение линейных систем уравнений и линейных задач наименьших квадратов в APL", Номер технического отчета 320-2989, IBM Corp.
  26. ^ Дженкинс, Майкл А. (10 февраля 1972 г.), "Домино - примитивная функция APL для обратной матрицы - ее реализация и приложения", APL Quote Quad, 3 (4)
  27. ^ а б Макинтайр, Дональд Б. (август 2006 г.), "Дань Кену Айверсону", Вектор, 22 (3), получено 25 апреля 2016
  28. ^ а б c d е Фалькофф, Адин Д. (Декабрь 1991 г.). «Семейство IBM APL-систем». Журнал IBM Systems. 30 (4): 416–432. Дои:10.1147 / sj.304.0416.
  29. ^ а б Абрамс, Филип С. (17 августа 1966 г.), "Интерпретатор" нотации Айверсона"" (PDF), Технический отчет: CS-TR-66-47, Факультет компьютерных наук Стэнфордского университета, получено 17 апреля 2016
  30. ^ Фалькофф, Адин Д.; Айверсон, Кеннет Э. (16 октября 1967 г.), "Терминальная система APL 360", Отчет об исследовании RC-1922, IBM, получено 9 апреля 2016
  31. ^ Премия ACM Грейс Мюррей Хоппер (1973): Порода, Lathwell, и Мур; получено 14 апреля 2016 года.
  32. ^ Хорват, Роберт В. (август 1966 г.). Введение в нотацию Айверсона. Отдел разработки систем IBM, Покипси, Нью-Йорк.
  33. ^ а б c Макдоннелл, Юджин, изд. (1981), Справочник по APL, Введение, APL Press, получено 19 апреля 2016
  34. ^ Порода, Ларри (Сентябрь 1991 г.), "Первая терминальная сессия APL", APL Quote Quad, 22 (1): 2–4, Дои:10.1145/138094.140933, S2CID  43138444
  35. ^ а б Фалькофф, Адин Д.; Айверсон, Кеннет Э. (1968). Руководство пользователя APL 360 (PDF). IBM. Получено 11 апреля 2016.
  36. ^ а б Хуэй, Роджер (11 октября 2014 г.), Шестнадцать APL Amuse-Bouches, получено 12 апреля 2016
  37. ^ Перлис, Алан Дж. (29 марта 1978 г.), «Почти идеальные артефакты улучшаются только небольшими способами: APL больше французский, чем английский», APL 78 Материалы конференции, получено 12 апреля 2016
  38. ^ а б c d Фалькофф, Адин Д. (Июль 1969 г.), "История APL 360", Материалы конференции пользователей APL в SUNY Binghamton, получено 9 апреля 2016
  39. ^ Айверсон, Кеннет Э. (1966), Условные обозначения, регулирующие порядок оценки (Приложение А, посвященное элементарным функциям: алгоритмическая обработка), Партнеры по научным исследованиям, получено 16 апреля 2016
  40. ^ Айверсон, Кеннет Э. (1972), Алгебра как язык (приложение А к алгебре: алгоритмическое рассмотрение), Эддисон-Уэсли, получено 16 апреля 2016
  41. ^ а б Айверсон, Кеннет Э. (март 1966 г.). Элементарные функции: алгоритмическое лечение. Научно-исследовательские партнеры.
  42. ^ Макдоннелл, Юджин (Декабрь 1979 г.), «Социально-технические истоки АПЛ», APL Quote Quad, 10 (2): 13, Дои:10.1145/586148.586155, S2CID  18025422, получено 24 апреля 2016
  43. ^ Голдсмит, Лесли Х., Хуэй, Роджер (ред.), Цитаты и анекдоты APL, заархивировано из оригинал 5 июля 2018 г., получено 13 апреля 2016
  44. ^ Макдоннелл, Юджин (Сентябрь 1980 г.). «Рекреационный АПЛ, Пирамиграмма». APL Quote Quad. 11 (1). Получено 13 апреля 2016.
  45. ^ "APL в государственных школах Атланты", ПОДЕЛИТЬСЯ * Информационный бюллетень APL 360 (3), октябрь 1969 г.
  46. ^ APL IV: Четвертая международная конференция APL, Июнь 1972 г., получено 29 апреля 2016
  47. ^ Бьянкуцци, Федерико; Уорден, Шейн (март 2009 г.). Идеи программирования. O'Reilly Media. Архивировано из оригинал 5 июля 2018 г.. Получено 13 апреля 2016.
  48. ^ а б c «Айверсон получает премию Гарри Гуда». APL Quote Quad. 6 (2). Июнь 1975 г.. Получено 8 апреля 2016.
  49. ^ Берри, Пол (август 2006 г.), «Наглядное программирование», Вектор, 22 (3), получено 25 апреля 2015
  50. ^ Берри, Пол; Bartoli, G .; Dell'Aquila, C .; Спадавеккья, В. (март 1973). «APL и Insight». TR № CRB 002 / 513-3502. IBM Corp.
  51. ^ Спенс, Роберт (март 1973). Теория резистивных цепей. IBM.
  52. ^ Орт, Дональд Л. (1976). Исчисление в новом ключе. APL Press. ISBN  978-0-917326-05-9.
  53. ^ Берри, Пол; Торстенсен, Джон (1973). «Звездная карта». ТР № 02.665. IBM Corp.
  54. ^ Айверсон, Кеннет Э. (1969), Использование APL в обучении, IBM Pub. № G320-0996, получено 15 апреля 2016
  55. ^ Берри, Пол; Фалькофф, Адин Д.; Айверсон, Кеннет Э. (24 августа 1970 г.). «Использование компьютера для вычислений: прямой, но забытый подход к преподаванию математики». Всемирная конференция IFIP по компьютерному образованию.
  56. ^ Айверсон, Кеннет Э. (1972), Алгебра: алгоритмическое лечение, Эддисон-Уэсли
  57. ^ Айверсон, Кеннет Э. (январь 1972 г.), «АПЛ в экспозиции» (PDF), Номер технического отчета RC 320-3010, IBM Philadelphia Scientific Center, получено 9 апреля 2016
  58. ^ Айверсон, Кеннет Э. (март 1973 г.), «Введение в APL для ученых и инженеров», Номер технического отчета RC 320-3019, IBM Philadelphia Scientific Center, получено 9 апреля 2016
  59. ^ Айверсон, Кеннет Э. (июль 1972 г.), «Знакомство учителей с APL», Номер технического отчета RC 320-3014, IBM Philadelphia Scientific Center, получено 9 апреля 2016
  60. ^ Айверсон, Кеннет Э. (1976), Элементарный анализ, APL Press
  61. ^ Айверсон, Кеннет Э. (сентябрь 1978 г.). «Стиль программирования в APL». Протоколы собрания пользователей APL. I. P. Sharp Associates. Получено 9 апреля 2016.
  62. ^ Айверсон, Кеннет Э. (май 1962 г.). «Язык программирования». Материалы весенней совместной компьютерной конференции AFIPS, Сан-Франциско. Получено 13 апреля 2016.
  63. ^ Айверсон, Кеннет Э. (декабрь 1962 г.). «Общий язык для оборудования, программного обеспечения и приложений». Материалы осенней компьютерной конференции AFIPS, Филадельфия. Получено 13 апреля 2016.
  64. ^ Айверсон, Кеннет Э. (июнь 1963 г.). «Нотация программирования в проектировании систем». Журнал IBM Systems. 2 (2): 117–128. Дои:10.1147 / sj.22.0117. Получено 13 апреля 2016.
  65. ^ Айверсон, Кеннет Э. (февраль 1964 г.). «Формализм в языках программирования». Коммуникации ACM. 7 (2): 80–88. Дои:10.1145/363921.363933. S2CID  14145756. Получено 13 апреля 2016.
  66. ^ Айверсон, Кеннет Э. (октябрь 1964 г.). «Метод спецификации синтаксиса». Коммуникации ACM. 7 (10): 588–589. Дои:10.1145/364888.364969. S2CID  194665.
  67. ^ Фалькофф, Адин Д.; Айверсон, Кеннет Э. (май 1973 г.). «Коммуникация в системах APL». Технический отчет 320-3022. IBM Philadelphia Scientific Center.
  68. ^ Айверсон, Кеннет Э. (1973). APL как аналитическая нотация. IBM Philadelphia Scientific Center.
  69. ^ Фалькофф, Адин Д.; Айверсон, Кеннет Э. (1973). «Руководство пользователя APLSV» (PDF). Sh20-1460. IBM Philadelphia Scientific Center. Получено 16 апреля 2016.
  70. ^ Фалькофф, Адин Д.; Айверсон, Кеннет Э. (март 1975 г.). Язык APL (форма № GC26-3847) (PDF). IBM.
  71. ^ Айверсон, Кеннет Э. (сентябрь 1976 г.), «Два комбинаторных оператора», APL 76 Материалы конференции
  72. ^ а б c Айверсон, Кеннет Э. (26 апреля 1978 г.), «Операторы и функции», Отчет об исследовании № RC7091, IBM, получено 9 апреля 2016
  73. ^ Айверсон, Кеннет Э. (июнь 1979 г.), «Роль операторов в APL», APL 79 Материалы конференции, получено 10 апреля 2016
  74. ^ Айверсон, Кеннет Э. (июнь 1979 г.), «Оператор производной», APL 79 Материалы конференции
  75. ^ Айверсон, Кеннет Э. (октябрь 1979 г.). «Операторы». Транзакции ACM по языкам и системам программирования. 1 (2): 161–176. Дои:10.1145/357073.357074.
  76. ^ а б c Стейнбрук, Дэвид Х. (1986). Справочник SAX. I. P. Sharp Associates.
  77. ^ Хуэй, Роджер (Август 2010 г.). "В среднем". Вектор. 22 (4). Получено 12 апреля 2016.
  78. ^ IPSA (январь 1980 г.). "Доктор Кеннет Э. Айверсон" (PDF). I.P. Информационный бюллетень Sharp. 8 (1). Получено 8 августа 2019.
  79. ^ Хуэй, Роджер, изд. (14 мая 2009 г.), Юджин Макдоннелл Цитаты и анекдоты, получено 5 апреля 2016
  80. ^ а б Хуэй, Роджер; Кромберг, Мортен (июнь 2020 г.). «АПЛ с 1978 года». Труды ACM по языкам программирования. 4 (HOPL): 1–108. Дои:10.1145/3386319. S2CID  218517570.
  81. ^ а б c Айверсон, Кеннет Э. и Артур Т. Уитни (Сентябрь 1982 г.), «Практическое использование модели APL», APL 82 Материалы конференции, получено 10 апреля 2016
  82. ^ а б Айверсон, Кеннет Э. (март 1983 г.), «Синтаксис и семантика APL», APL 83 Материалы конференции, получено 10 апреля 2016
  83. ^ Праздник Кеннета Айверсона, Музей истории компьютеров, 30 ноября 2004 г., получено 17 апреля 2016
  84. ^ а б c d е ж Хуэй, Роджер (Ноябрь 2014 г.), Вспоминая Кена Айверсона, получено 10 апреля 2016
  85. ^ а б c Айверсон, Кеннет Э. (6 января 1983 г.), Рационализированный APL, I. P. Sharp Associates, получено 10 апреля 2016
  86. ^ а б c d Айверсон, Кеннет Э. (сентябрь 1987 г.), «Словарь APL», APL Quote Quad, 18 (1): 5–40, Дои:10.1145/36983.36984, S2CID  18301178, получено 10 апреля 2016
  87. ^ Браун, Джеймс А. (1971). Обобщение APL (Кандидатская диссертация). Департамент компьютерных и информационных наук Сиракузского университета.
  88. ^ Браун, Джеймс А. (1984), «Принципы APL2», Технический отчет 03.247, Лаборатория IBM Санта-Тереза
  89. ^ Браун, Джеймс А. (1988), "Программирование APL2: Справочник по языку", Sh20-9227, Корпорация IBM
  90. ^ Смит, Роберт А. (сентябрь 1981 г.). «Вложенные массивы, операторы и функции». APL 81 Материалы конференции.
  91. ^ Чейни, Карл М. (1981), Система вложенных массивов APL * PLUS (PDF), STSC, Inc., получено 19 апреля 2016
  92. ^ Орт, Дональд Л. (декабрь 1981 г.). «Сравнение реализаций операторов и общих массивов IPSA и STSC». APL Quote Quad. 12 (2): 11. Дои:10.1145/586656.586662. S2CID  1642446. Получено 13 апреля 2016.
  93. ^ Макдоннелл, Юджин (20 июня 1981 г.). "Сложные числа". SATN 40, I. P. Sharp Associates. Получено 11 апреля 2016.
  94. ^ а б Айверсон, Кеннет Э. (20 июня 1981 г.). «Состав и вложение». SATN 41, I. P. Sharp Associates. Получено 11 апреля 2016.
  95. ^ а б Айверсон, Кеннет Э. (1 апреля 1982 г.). «Детерминантные функции, производимые оператором точки». SATN 42, I. P. Sharp Associates. Получено 11 апреля 2016.
  96. ^ а б Бернки, Роберт; Iverson, Kenneth E .; Макдоннелл, Юджин; Мецгер, Роберт; Шулер, Дж. Анри (2 мая 1983 г.). "Расширения языков в мае 1983 г.". SATN 45, I. P. Sharp Associates. Получено 11 апреля 2016.
  97. ^ Таттл, Джои К. (август 2006 г.), "Что не так с моим программированием?", Вектор, 22 (3), получено 25 апреля 2016
  98. ^ а б Айверсон, Кеннет Э. (6 октября 1980 г.), «Индуктивный метод введения APL», Протоколы собрания пользователей APL 1980 г., получено 10 апреля 2016
  99. ^ а б Айверсон, Кеннет Э. (январь 1981 г.). Мини-курс SHARP APL. I. P. Sharp Associates.
  100. ^ а б Айверсон, Кеннет Э. (1984). Прикладная математика для программистов. I. P. Sharp Associates.
  101. ^ а б Айверсон, Кеннет Э. (июль 1986 г.). Математика и программирование. I. P. Sharp Associates.
  102. ^ Бернки, Роберт; Айверсон, Кеннет Э. (6 октября 1980 г.), «Операторы и замкнутые массивы», Протоколы собрания пользователей APL 1980 г., получено 10 апреля 2016
  103. ^ Айверсон, Кеннет Э. (октябрь 1980 г.). «Прямое определение». SATN 36, I. P. Sharp Associates.
  104. ^ Iverson, Kenneth E .; Вустер, Питер К. (сентябрь 1981 г.), «Оператор определения функции», APL 81 Материалы конференции
  105. ^ а б Iverson, Kenneth E .; Pesch, Roland H .; Шулер, Дж. Генри (июнь 1984 г.), «Операторное исчисление», APL 84 Материалы конференции, получено 10 апреля 2016
  106. ^ а б Айверсон, Кеннет Э. (май 1987 г.), "APL87", APL 87 Материалы конференции, получено 10 апреля 2016
  107. ^ Hagamen, W.D .; Berry, P.C .; Iverson, K.E .; Вебер, Дж. К. (август 1989 г.), "Обработка естественного языка: синтаксические и семантические механизмы", APL Quote Quad, 19 (4): 184–189, Дои:10.1145/75144.75170, ISBN  0897913272, S2CID  14004227
  108. ^ Хуэй, Роджер (3 декабря 2014 г.). "Любимое выражение APL Кена Айверсона?". Блог Dyalog. Получено 12 апреля 2016.
  109. ^ Справочник по языку Dyalog APL (версия 14.0 или новее) (PDF), Dyalog Limited, 2014 г., получено 16 апреля 2016
  110. ^ а б Айверсон, Кеннет Э. и Юджин МакДоннелл (Август 1989 г.), «Фразовые формы», APL 89 Материалы конференции, получено 10 апреля 2016
  111. ^ а б Айверсон, Кеннет Э. (сентябрь 1988 г.). «Комментарий к разработке APL». APL Quote Quad. 19 (1): 3–8. Дои:10.1145/379279.379330. S2CID  18392328. Получено 13 апреля 2016.
  112. ^ Ходжкинсон, Роб (19 октября 2017 г.), Сообщение форума программирования J
  113. ^ а б Хуэй, Роджер; Iverson, Kenneth E .; Макдоннелл, Юджин; Уитни, Артур (Июль 1990 г.), "APL /?", APL 90 Conference Proceedings, получено 10 апреля 2016
  114. ^ Хуэй, Роджер (27 января 1992 г.). Реализация J (PDF). Iverson Software Inc. Получено 10 апреля 2016.
  115. ^ Хуэй, Роджер (Май 1987 г.). "Некоторые виды использования {и}". APL 87 Материалы конференции. Получено 15 апреля 2016.
  116. ^ Хуэй, Роджер (Июнь 1995 г.). «Ранг и единообразие». APL 95 Материалы конференции. Получено 15 апреля 2016.
  117. ^ Хуэй, Роджер (27 января 2006 г.), "ТАО J", J Wiki Essay, получено 24 мая 2016
  118. ^ а б Хуэй, Роджер; Iverson, Kenneth E .; Макдоннелл, Юджин (Август 1991 г.), «Молчаливое определение», APL 91 Материалы конференции, получено 10 апреля 2016
  119. ^ Черлин, Эдвард (август 1991). «Чистые функции в APL и J». APL 91 Материалы конференции.
  120. ^ Берк, Крис; Хуэй, Роджер (Сентябрь 1996 г.). "J для программиста APL". APL Quote Quad. 27 (1): 11–17. Дои:10.1145/1151395.1151400. S2CID  9203778. Получено 14 апреля 2016.
  121. ^ Берк, Крис (2 марта 2005 г.), APL и J (PDF), получено 16 апреля 2016
  122. ^ Источник J, Jsoftware, Inc., получено 15 апреля 2016
  123. ^ Айверсон, Кеннет Э. (1991). Материальная математика. Iverson Software Inc.
  124. ^ Айверсон, Кеннет Э. (1991). Программирование на J. Iverson Software Inc.
  125. ^ Айверсон, Кеннет Э. (1991). Арифметика (PDF). Iverson Software Inc. Получено 10 апреля 2016.
  126. ^ Айверсон, Кеннет Э. (1993). Исчисление (PDF). Iverson Software Inc. Получено 10 апреля 2016.
  127. ^ Айверсон, Кеннет Э. (1995). Конкретный помощник по математике (PDF). Iverson Software Inc. Получено 10 апреля 2016.
  128. ^ Айверсон, Кеннет Э. (1996). Изучение математики (PDF). Iverson Software Inc. Получено 10 апреля 2016.
  129. ^ Берк, Крис; Хуэй, Роджер; Iverson, Kenneth E .; Макдоннелл, Юджин; Макинтайр, Дональд Б. (1996). J Фразы. Iverson Software Inc. Получено 10 апреля 2016.
  130. ^ Берк, Крис; Хуэй, Роджер; Айверсон, Эрик; Iverson, Kenneth E .; Айверсон, Кирк (1998), Победители конкурса ICFP '98, получено 15 апреля 2016
  131. ^ Айверсон, Кеннет Э. (1999). Математика для обывателя. JSoftware Inc. Получено 10 апреля 2016.
  132. ^ Хуэй, Роджер; Айверсон, Кеннет Э. (1991). "J Введение и словарь". Jsoftware Inc. Получено 9 апреля 2016. Цитировать журнал требует | журнал = (помощь)
  133. ^ Айверсон, Кеннет Э. (март 1994). «Возвращаясь к грубым пятнам». APL Quote Quad. 24 (3): 13–16. Дои:10.1145/181983.181986. S2CID  2140469. Получено 13 апреля 2016.
  134. ^ Айверсон, Кеннет Э. (1996), Компьютеры и математические обозначения, Iverson Software Inc., получено 10 апреля 2016
  135. ^ Хуэй, Роджер; Айверсон, Кеннет Э. (январь 1998 г.), «Математические корни J», APL 97 Материалы конференции: 21–30, Дои:10.1145/316689.316698, S2CID  2317632
  136. ^ Айверсон, Кеннет Э. (август 2006 г.), «АПЛ в новом тысячелетии», Вектор, 22 (3), получено 25 апреля 2016
  137. ^ Справочник членов NAE, Национальная инженерная академия, получено 22 апреля 2016
  138. ^ Премия Computer Pioneer (получатель чартера), IEEE Computer Society, 1982, получено 8 апреля 2016
  139. ^ Драммонд, Б. (11 июня 1998 г.), Цитата для доктора Кеннета Айверсона, Йоркский университет, получено 8 апреля 2016

внешняя ссылка