История вычислительной техники. Казакова И.А. - 224 стр.

                                                 Продолжение табл. Г.1
 1          2                                 3
1976 Майкл Рабин     За общую статью под названием «Конечные автоматы
     и Дана Скотт    и проблема разрешимости для них», в которой была
                     предложена идея недетерминированного автомата,
                     концепции, доказавшей впоследствии свою
                     исключительную ценность
1977 Джон Бэкус      За глубокий вклад в проектирование практических
                     высокоуровневых программных систем, в частности
                     за его работу над языком FORTRAN
1978 Роберт Флойд    За вклад в методологию создания эффективного
                     и надежного программного обеспечения, развитие
                     таких областей компьютерных наук, как семантика
                     языков программирования, автоматическая
                     верификация программ, автоматический синтез
                     программ и анализ алгоритмов
1979 Айверсон Кеннет За работу в области языков программирования
                     и математической записи, за разработку языка APL,
                     за большой вклад в развитие языков програм-
                     мирования
1980 Ч. Энтони       За вклад в определение и разработку языков
     Р. Хоар         программирования
1981 Эдгар Кодд      За вклад в теорию и практику систем управления
                     базами данных реляционного типа
1982 Стивен Артур    За вклад в разработку теории вычислительных
     Кук             систем
1983 Кен Томпсон и   За разработку общей теории операционных систем
     Денис М. Ритчи  и за создание операционной системы Unix
1984 Никлаус Вирт    За разработку серии компьютерных языков –
                     ЭЙЛЕР, ALGOL-W, МОДУЛА и ПАСКАЛЬ
1985 Ричард М. Карп  За вклад в теорию алгоритмов, в том числе за разра-
                     ботку эффективных алгоритмов для потоков на сетях
                     и других комбинаторных оптимизационных задач,
                     сопоставление вычислений полиномиальной
                     сложности с интуитивным понятием эффективности,
                     и за вклад в теорию NP-полноты
1986 Джон Хопкрофт За достижения в области разработки и анализа
     и Роберт Тарьян алгоритмов и структур данных
1987 Джон Кок        За вклад в проектирование и теорию компиляторов,
                     архитектуру больших систем и разработку
                     RISC-компьютеров
1988 Айвен Сазерленд За вклад в компьютерную графику, начиная
                     от изобретения Sketchpadа

                                  224