Список исследователей языков программирования
Ниже приводится список исследователей теории языков программирования , проектирования , реализации и смежных областей.
А [ править ]
- Мартин Абади за язык программирования Baby Modula-3 и его книгу (совместно с Лукой Карделли ) «Теория объектов» .
- Самсон Абрамски , вклад в области ленивого лямбда-исчисления и теории параллелизма , а также соредактирование 6-томного справочника по логике в информатике.
- Жан-Раймон Абриаль , отец Z-нотации и B-метода , стремился к четкой спецификации и совершенствованию компьютерных программ и компьютерных систем в целом.
- Викрам Адве , награда ACM Software System Award 2012 за LLVM , набор компилятора и инструментальной цепочки. технологий
- Гул Ага , избран научным сотрудником ACM в 2018 году за исследования в области параллельного программирования и формальных методов, в частности модели актера.
- Альфред Ахо , лауреат премии AWK, премия Тьюринга 2020 года за фундаментальные алгоритмы и теорию, лежащие в основе реализации языков программирования, а также за синтез этих результатов... очень влиятельные книги...
- Фрэнсис Аллен , премия Тьюринга 2006 года за новаторский вклад в теорию и практику оптимизации методов компилятора...
- Эндрю Аппель , особенно известный благодаря своим о компиляторах книгам Modern Compiler Implementation in ML (англ. Modern Compiler Implementation in ML). ISBN 0-521-58274-1 ) серии, а также компиляция с продолжениями ( ISBN 0-521-41695-7 )
- Кшиштоф Р. Апт , использование логики как языка программирования
- Брюс Арден , соавтор двух компиляторов GAT [1] для IBM 650 и MAD
- Арвинд , см. Арвинд Митал
- Леннарт Аугустссон , языки (Lazy ML , Cayenne), компиляторы (HBC Haskell , параллельный интерфейс Haskell, ранняя версия Bluespec SystemVerilog )
Б [ править ]
- Ральф-Йохан Бэк создал уточняющее исчисление , используемое при формальной разработке программ с использованием пошагового уточнения.
- Роланд Бэкхаус , работа над математикой построения программ и решением алгоритмических задач; книги по синтаксису языков программирования , построению и верификации программ и т. д.
- Джон Бэкус , премия Тьюринга 1977 года за глубокий, влиятельный и продолжительный вклад в разработку практических систем программирования высокого уровня, особенно благодаря его работе над FORTRAN , а также за плодотворную публикацию формальных процедур спецификации языков программирования.
- Джордж Н. Бэрд , премия Грейс Мюррей Хоппер 1974 года за разработку и внедрение системы проверки компилятора COBOL ВМФ.
- Ларс Бак , премия AITO Даля-Найгаарда 2018 года за новаторскую работу в области безопасной объектной ориентации и лидерство в реализации Beta , Self , Strongtalk , Java Hotspot , ..., премия ACM SIGPLAN 2016 PL Software Award [2] для V8 Javascript
- Анри Баль , языки программирования для распределенных систем, например Orca [3]
- Фридрих Л. Бауэр , предложил стековый метод оценки выражений, член комитета ALGOL 60 , см. также [4]
- Кент Бек , ведущий сторонник разработки через тестирование (TDD), пионер шаблонов проектирования программного обеспечения и соавтор JUnit для Java.
- Джефф Безансон , премия Дж. Х. Уилкинсона 2019 года в области числового программного обеспечения за совместную разработку Julia языка
- Динес Бьернер , Венский метод разработки (VDM), язык спецификации Raise
- Дэниел Боброу , премия ACM Software System 1992 года за IDE под названием Interlisp
- Коррадо Бём , определивший язык Бема , первый метациклический оценщик , внес теорему о структурированной программе.
- Грейди Буч , разработчик унифицированного языка моделирования (UML)
- Кэтлин Бут спроектировала и разработала первый язык ассемблера.
- Стивен Р. Борн , разработал АЛГОЛ 68C , член рабочей группы IFIP 2.1 по алгоритмическим языкам и исчислениям.
- Гилад Браха , премия AITO Даля-Найгаарда 2017 года за выдающуюся работу по многим темам, имеющим отношение к объектно-ориентированному мышлению, включая миксины , дженерики Java , Strongtalk и новояз.
- Ларри Брид , премия Грейс Мюррей Хоппер 1973 года за разработку и внедрение APL \ 360
- Уолтер Брайт , дизайнер D
- Пер Бринч Хансен IEEE Computer Society 2002 года (фамилия «Бринч Хансен»), премия компьютерного пионера за… параллельный Паскаль
- Ким Брюс , премия Даля-Найгаарда AITO 2021 года за… теорию и проектирование языков программирования в целом и объектную ориентацию в частности. [5]
- Маргарет Бернетт , новаторский вклад в языки визуального программирования
- Род Берстолл , языки COWSEL (переименованы в POP-1), POP-2 , NPL , Hope ; Премия ACM SIGPLAN 2009 PL за достижения [6]
- Ричард Бертон , премия ACM Software System Award 1992 года за IDE под названием Interlisp
С [ править ]
- Лука Карделли , исследовавший теорию типов и операционную семантику , помог разработать Modula-3 и Polyphonic C# , первый компилятор для машинного обучения , получил премию AITO Даля-Найгаарда в 2007 году , «Награда за самую влиятельную газету POPL 2000» .
- Крейг Чемберс , премия Даля-Найгаарда AITO 2011 года за дизайн Сесила и его работу над методами компиляции, используемыми для реализации объектно-ориентированных языков...
- Джон Чемберс , премия ACM Software System Award 1998 года за язык программирования S
- К. Мани Чанди , вклад в проверку языков параллельного программирования, включая язык UNITY
- Алонсо Чёрч , лямбда-исчисление ; считается основателем информатики
- Джон Кок , премия Тьюринга 1987 года за значительный вклад в разработку и теорию компиляторов,... и...; совместно разработал алгоритм синтаксического анализа CYK
- Ален Кольмерауэр , создатель Пролога
- Ричард В. Конвей — за вводные языки CORC и CUPL и ориентированный на студентов диалект PL/C ; для обширного исправления ошибок, чтобы каждая скомпилированная программа
- Уильям Кук , главный архитектор AppleScript , лауреат премии AITO Даля-Найгаарда 2014 года за вклад в теорию и практику объектно-ориентированного программирования. [5]
- Кейт Купер , исследования языков программирования, компиляторов, оптимизации и статического анализа.
- Тьерри Коканд , ACM SIGPLAN 2013 PL Software Award [2] 2015 и награда ACM Software System Award для Coq
- Патрик Кузо за вклад в языки программирования посредством совместного изобретения абстрактной интерпретации , премия ACM SIGPLAN 2013 PL Achievement Award [6]
- Радия Кусо , за вклад в языки программирования посредством совместного изобретения абстрактной интерпретации , премия ACM SIGPLAN 2013 PL Achievement Award [6]
- Джеймс Корди , известный языком преобразования исходного кода TXL , структурой на основе синтаксического анализатора и функциональным языком программирования, предназначенным для поддержки задач анализа и преобразования программного обеспечения.
Д [ править ]
- Оле-Йохан Даль , премия Тьюринга 2001 года за идеи, фундаментальные для возникновения объектно-ориентированного программирования, благодаря разработке языков программирования Simula I и 67.
- Оливье Дэнви специализируется на языках программирования , частичной оценке и продолжениях.
- Джон Дарлингтон , работа над преобразованием программ и функциональным программированием, включая NPL и Hope+.
- Л. Питер Дойч , первая реализация TRAC (на PDP-1 ), первый REPL , докторская диссертация по интерактивному верификатору программ , премия ACM Software System Award 1992 года за IDE под названием Interlisp
- Эдсгер В. Дейкстра , первый АЛГОЛА 60 компилятор , самые слабые предварительные условия , премия Тьюринга 1972 года за фундаментальный вклад в разработку языков программирования
- Дэмиен Долигез , соразработчик и разработчик OCaml , особенно его сборщика мусора
- София Дроссопулу , формальные методы языков программирования , доказательство работоспособности Java
Э [ править ]
- Вим Эббинхейсен , один из отцов COBOL , спроектировал и переписал десятки частей текущего стандарта COBOL.
- Алан Эдельман , премия Сидни Фернбаха 2019 года за… и за вклад в язык программирования Julia
- Брендан Эйх , дизайнер JavaScript
- Andrey Ershov , see Andrey Yershov
Ф [ править ]
- Махмуд Самир Файед , создатель PWCT и Ring
- Маттиас Феллейзен , ACM SIGPLAN 2018 PL Software Award [2] за ракетку , награда ACM SIGPLAN 2012 PL за достижения [6]
- Жанна Ферранте , разработала график зависимости программы , награда ACM SIGPLAN 2006 PL Achievement Award. [6]
- Робби Финдлер , диссертация по лингвистике контрактов на программное обеспечение, премия ACM SIGPLAN 2018 PL Software Award [2] для Racket , разработка/внедрение Redex , рабочей среды для инженеров-семантиков.
- Кено Фишер , один из основных участников реализации языка программирования Julia ,
- Мэтью Флэтт , ACM SIGPLAN 2018 PL Software Award [2] для ракетки
- Роберт В. Флойд , премия Тьюринга 1978 года за... и за помощь в создании следующих важных областей информатики: теория синтаксического анализа, семантика языков программирования, автоматическая проверка программ, автоматический синтез программ и анализ алгоритмов.
- Роберт Франс AITO 2014 г. , премия Даля-Найгаарда за исследование по добавлению формальной семантики в нотации объектно-ориентированного моделирования.
- Дэниел П. Фридман , влиятельная статья по ленивому программированию , исследовавшая макросы для определения языков программирования, ведущий автор книги « Основы языков программирования».
- Ёсихико Футамура , частичная оценка, особенно прогнозы Футамуры
Г [ править ]
- Ричард П. Габриэль — за работу над Lisp и особенно Common Lisp ; Премия Аллена Ньюэлла ACM-AAAI 2004 г. [7] за инновации в языках программирования и разработке программного обеспечения...
- Бернард Галлер , занимающийся разработкой компьютерных языков, включая MAD.
- Эрих Гамма , соавтор среды тестирования программного обеспечения JUnit ; один из « Банды четырех» , премия AITO Даля-Нигаарда 2006 г. за ... их книгу «Шаблоны проектирования: ...» , премия ACM SIGPLAN 2005 PL за достижения [6]
- Чарльз Гешке , соавтор книги «Проектирование оптимизирующего компилятора» , премии ACM Software System Award 1989 года за PostScript.
- Джереми Гиббонс , [8] общее программирование и функциональное программирование , член рабочей группы IFIP 2.1 по алгоритмическим языкам и исчислениям, которая поддерживает и поддерживает АЛГОЛ 60 и АЛГОЛ 68.
- Сеймур Гинзбург , фундаментальная работа по формальным языкам и абстрактной семье языков.
- Адель Голдберг , премия ACM Software System Award 1987 года за Smalltalk
- Эндрю Гордон , соразработчик Concurrent Haskell , соавтор окружающего исчисления для рассуждений о мобильном коде , разработал SecPAL
- Джеймс Гослинг 2002 , премия ACM Software System Award за Java
- Роберт Грэм , соавтор двух компиляторов GAT [1] для IBM 650 и MAD
- Сьюзен Грэм , медаль Джона фон Неймана IEEE 2009 г. за «вклад в разработку и реализацию PL…», член NAE , [9] Награда за достижения ACM SIGPLAN 2000 PL [6]
- Корделл Грин , премия Грейс Мюррей Хоппер 1985 года за создание теоретической основы области логического программирования.
- Шейла Грейбах , теория грамматики, нормальная форма Грейбаха
- Дэвид Грис , первый текст по написанию компиляторов, [10] [11] вклад в семантику конструкций языка программирования, например свободу интерференции и [12]
- Роберт Гриземер , соавтор Go
- Ральф Грисволд , дизайнер SNOBOL , SL5 и Icon
- Юрг Гуткнехт , соразработчик языка Оберон , разработчик языка Зоннон
- Джон Гуттаг , соразработчик семейства Larch языков формальных спецификаций и Larch Prover (LP)
- Майкл Гай , соавтор Алгола 68C
Х [ править ]
- Нико Хаберманн , со-дизайнер BLISS
- Роберт Харпер , вклад в стандартное машинное обучение и логическую структуру LF , награда ACM SIGPLAN 2021 PL Achievement Award [6] за фундаментальный вклад в теорию типов
- Эрик Хенер , предикативное программирование , формальный метод спецификации и уточнения.
- Андерс Хейлсберг , первоначальный автор Turbo Pascal , главный архитектор C#
- Лори Хендрен , непрерывный и значительный вклад на протяжении более 30 лет в область объектно-ориентированных языков программирования и компиляции.
- Томас Хензингер получил Премию Милнера в 2015 году за «фундаментальные достижения в теории и практике формальной верификации и синтеза реактивных, реальных и гибридных компьютерных систем».
- Премии Мориса Херлихи , Премии Дейкстры 2003, 2012 и 2022 годов , одна за работу над транзакционной памятью.
- Рич Хики , дизайнер Clojure
- Тони Хоар , первая аксиоматическая основа доказательства правильности программ, CSP , Премия Тьюринга 1980 года за фундаментальный вклад в определение и разработку языков программирования.
- Рик Холт , язык программирования Тьюринга , вклад в Grok, Euclid , SP/k и S/SL
- Урс Хёльцле , соавтор Strongtalk , среды Smalltalk с дополнительной поддержкой статической типизации , позже стал первым вице-президентом Google по разработке.
- Грейс Хоппер , соавтор COBOL
- Джим Хорнинг , интересы включали языки программирования , методологию программирования , спецификации ; соразработчик подхода Larch к формальной спецификации
- Сьюзан Б. Хорвиц , известная своими исследованиями в области языков программирования и разработки программного обеспечения , в частности, в области нарезки программ и анализа потоков данных.
- Пол Худак , известный участием в разработке языка Haskell , а также несколькими учебниками по нему и компьютерной музыке.
- Жерар Юэ , премия ACM SIGPLAN 2013 PL Software Award [2] 2015 и награда ACM Software System Award за Coq . помощника по проверке
- Джон Хьюз , докторская диссертация «Проектирование и реализация языков программирования» , [13] соразработчик библиотеки программного обеспечения QuickCheck , стипендиат ACM 2018 г. за вклад в тестирование программного обеспечения и функциональное программирование
- Роджер Хуэй , соавтор языка J
Я [ править ]
- Жан Ичбиа системной реализации , разработчик языка программирования под названием LIS , первый главный дизайнер Ады.
- Роберто Иерусалимский , дизайнер Lua
- Дэн Ингаллс , премия Даля-Найгаарда AITO 2022 года и премия ACM Software System 1987 года за Smalltalk
- Кеннет Э. Айверсон , премия Тьюринга 1979 года за новаторские усилия в... приведшие к... APL , за вклад в...,..., а также теорию и практику языков программирования.
Дж [ править ]
- Дэниел Джексон , главный разработчик языка моделирования Alloy и связанного с ним инструмента анализа Alloy Analyser , автор книги « Программные абстракции: логика, язык и анализ».
- Йорн Йенсен , разработал АЛГОЛА 60 компиляторы , изобрел устройство Йенсена , которое использует вызов по имени.
- Ральф Джонсон , один из «Банды четырех» , премия AITO Даля-Найгаарда 2006 г. за ... их книгу «Шаблоны проектирования: ...» , премия ACM SIGPLAN 2005 PL за достижения [6]
- Клифф Джонс , Венский метод развития (VDM), гарантия-гарантия — свобода композиционного вмешательства [14]
- Нил Д. Джонс , работа над частичной оценкой , премия ACM SIGPLAN 2014 PL Achievement Award [6]
- Саймон Пейтон Джонс — за работу в области функциональных языков программирования и ленивых вычислений ; разработчик Haskell ; 2011 года Премия за программное обеспечение для языков программирования за компилятор Glasgow Haskell (GHC)
К [ править ]
- Жиль Кан , сопрограммы и сети процессов [15]
- Тед Келер , соавтор Smalltalk
- Рональд Каплан , премия ACM Software System Award 1992 года за IDE под названием Interlisp
- Стефан Карпински , премия Дж. Х. Уилкинсона 2019 года в области числового программного обеспечения за совместную разработку Julia . языка программирования
- Алан Кей , лауреат премии Тьюринга 2003 года за новаторство многих идей, лежащих в основе современных объектно-ориентированных языков программирования, руководство командой, разработавшей Smalltalk , и...
- Джон Келли , соавтор новаторского языка потоков данных BLODI (BLock DIAgram). См. Программирование потоков данных.
- Джон Дж. Кемени , соавтор и разработчик первого BASIC . языка
- Кен Кеннеди , премия Макдауэлла за вклад в оптимизацию компилятора и..., премия ACM SIGPLAN 1999 PL Achievement Award [6]
- Брайан Керниган , соразработчик AWK и AMPL , соавтор «Языка программирования C», промоутер и дизайнер «маленьких языков»: Eqn , Pic , Grap
- Грегор Кичалес , лауреат премии AITO Даля-Нигаарда 2012 года за работу над CLOS и MOP , а также за продвижение аспектной ориентации и AspectJ.
- Кен Ноултон . пионер компьютерной графики, создатель BEFLIX для создания фильмов и L6, [16] который представил выбор постфиксных полей для обработки списков
- Дональд Кнут , премия Тьюринга 1974 года за большой вклад в... и разработку языков программирования, и...
- Эндрю Кениг , автор книги C Traps and Pitfalls и поиск Кенига
- Михаэль Кёллинг , развитие BlueJ и Greenfoot
- Кес Костер , соразработчик АЛГОЛА 68 , создатель аффиксных грамматик , создатель оригинального языка описания компилятора (CDL)
- Роберт Ковальски , премия IJCAI 2011 года за выдающиеся достижения в области исследований за... новаторскую работу в области... логического программирования ; представил разрешение SLD , которое используется в реализации языка логического программирования Prolog.
- Декстер Козен , один из отцов динамической логики , расширения модальной логики, способного кодировать свойства компьютерных программ.
- Шрирам Кришнамурти , разработчик Flapjax , премия ACM SIGPLAN 2018 PL Software Award [2] за рэкет — премия молодого исследователя ACM SIGPLAN 2012 года Робина Милнера [17]
- Дэвид Как IEEE Computer Society 2011 , премия компьютерного пионера за революционную технологию параллельного компилятора, включая Parafrase (в 1977 году) [18] и инструменты КАП
- Томас Э. Курц , соавтор и разработчик первого BASIC . языка
Л [ править ]
- Моника С. Лам , внесшая вклад в широкий круг тем, включая компиляторы и анализ программ , получила награду ACM Most Influential PLDI Paper Award в 2001 году. [19] [20]
- Лесли Лэмпорт , создатель языка формальной спецификации TLA+ и многих других, премия Тьюринга 2013 г.
- Питер Лэндин использовал лямбда-исчисление для моделирования ISWIM , при этом определил правило офсайда и ввёл термин синтаксический сахар ; активно работает над определением АЛГОЛА
- Ричард Х. Латвелл , премия Грейс Мюррей Хоппер 1973 года за разработку и внедрение APL \ 360
- Крис Лэттнер , дизайнер Swift , награда ACM SIGPLAN 2010 PL Software Award [2] 2012 и награда ACM Software System Award за LLVM , набор компилятора и инструментальной цепочки. технологий
- Джон Лаунбери , ленивый функциональный язык, разработчик Haskell , руководил разработкой предметно -ориентированного языка под названием Cryptol.
- Гарольд Лоусон IEEE Computer Society 2000 года , награда за изобретение переменной-указателя и внедрение этой концепции в PL/I.
- Дуг Ли , лауреат премии Даля-Найгаарда AITO 2010 года , за неустанную пропаганду объектно-ориентированных методов, вклад в параллельное программирование на Java и...
- Питер Ли , докторская диссертация: Автоматическое создание реалистичных компиляторов на основе семантических описаний высокого уровня ; с 2022 г. корпоративный вице-президент Microsoft по исследованиям и инкубации.
- Расмус Лердорф , отец PHP
- Ксавье Лерой , премия Милнера 2016 года за выдающиеся достижения в программировании, включая OCaml , премия ACM SIGPLAN 2021 PL Software Award [2]
- Чарльз Х. Линдси , соредактор пересмотренного отчета об Алголе 68 , разработал реализованный АЛГОЛ 68S , подмножество Алгола 68, написал полную историю АЛГОЛА 68 в [21]
- Барбара Лисков , премия Тьюринга 2008 года за вклад в практические и теоретические основы языка программирования и проектирования систем,...
- Яньхун Энни Лю , докторская диссертация по инкрементным вычислениям, [22] книга по систематическому проектированию программ [23]
- Питер Лукас , формальное определение PL/I , Венский метод разработки (VDM), работа над функционального программирования языком FL.
- Дэвид Лакхэм , вклад в Lisp и верификация Pascal ; сооснователь компилятора Ada
М [ править ]
- Саймон Марлоу , премия ACM SIGPLAN 2011 PL Software Award [2] для компилятора Glasgow Haskell
- Ларри Масинтер , премия ACM Software System Award 1992 года за IDE под названием Interlisp
- Юкихиро Мацумото , дизайнер Ruby
- Дэвид Мэй , ведущий дизайнер occam
- Конор МакБрайд , исследует теорию типов , функциональное программирование ; вместе с Джеймсом Маккинной создал Epigram (язык программирования) ; член Рабочей группы IFIP 2.1 по алгоритмическим языкам и исчислениям
- Джон Маккарти , семейство языков программирования Лисп , премия Тьюринга 1971 года.
- Дуглас Макилрой , пионер-исследователь макропроцессоров и расширяемости языков программирования , внес вклад в разработку PL/I , SNOBOL , ALTRAN , TMG , C++.
- Кэтрин С. МакКинли , исследователь компиляторов , систем выполнения и компьютерной архитектуры , представила распределитель памяти Hoard C/C++ , получив награду ACM SIGPLAN 2012 PL Software Award. [2] для Jikes RVM
- Ламберт Меертенс , соразработчик ABC , случайного предшественника Python ; соавтор формализма Берда – Меертенса ; соредактор пересмотренного по ALGOL 68 отчета
- Эрик Мейер , занимается функциональным программированием (особенно Haskell ), компилятора реализацией , синтаксическим анализом и дизайном языков программирования.
- Бертран Мейер , создатель Эйфеля и пропагандирующий дизайн по контракту AITO 2005 года. , награжден премией Даля-Найгаарда
- Харлан Миллс IEEE Computer Society 1994 года , премия компьютерного пионера за структурированное программирование.
- Робин Милнер , премия Тьюринга 1991 года за три отдельных и полных достижения: (1)...; (2) ML , первый язык, включающий полиморфный вывод типов вместе с типобезопасным механизмом обработки исключений; (3) ККС , ...
- Джаядев Мишра , вклад в параллельное программирование, включая языки UNITY и «Орк» .
- Джеймс Г. Митчелл , работа над компилятором WATFOR , языками Mesa и Euclid , докторская диссертация на тему «Проектирование и построение гибких и эффективных систем интерактивного программирования».
- Джон К. Митчелл исследовал связь между экзистенциальными типами и абстрактными типами данных и сыграл ключевую роль в разработке теории типов как основы языков программирования.
- Арвинд Митал , для параллельных языков Id и pH , компиляция на параллельных машинах и язык Bluespec SystemVerilog (BSV)
- Кэлвин Мурс , язык TRAC
- Чарльз Х. Мур (Чак), язык Форт
- Роджер Д. Мур , внедрил АЛГОЛ 60 , премия Грейс Мюррей Хоппер 1973 года за разработку и реализацию APL \360
- Кэрролл Морган , известный сторонник подхода уточняющего исчисления к разработке программ; автор книги «Программирование из спецификаций».
- Джеймс Х. Моррис разработал два основных принципа языков программирования: межмодульную защиту и отложенное вычисление , а также возглавил среды программирования Cedar. проект
- Грег Моррисетт работал над системами типов , кодом доказательства и доказуемо безопасными системами, создал Cyclone , награду POPL за самую влиятельную бумагу в 1998 году. [24] для применения идей системы типов в программировании низкого уровня
- Дж. Элиот Б. Мосс , активный специалист в области сборки мусора и многопроцессорной синхронизации , соавтор транзакционной памяти.
- Алан Майкрофт , исследователь языков программирования, соавтор компилятора Norcroft C.
- Брэд А. Майерс за проект Natural Programming, посвященный языкам программирования и упрощению и корректности программирования, делая его более естественным. [25]
Н [ править ]
- Питер Наур , премия Тьюринга 2005 года за фундаментальный вклад в разработку языков программирования и определение АЛГОЛА 60 , в проектирование компиляторов и в…
- Джордж Некула , награда POPL за самую влиятельную бумагу 1997 и 2002 годов. [24] для проверки кода и типобезопасной модернизации устаревшего кода
- Брюс Нельсон , премия ACM Software System Award 1994 года за удаленного вызова процедур концепцию
- Грег Нельсон , докторская диссертация «Методы проверки программ» , соавтор Модулы -3 , премия Эрбранда 2013 года за новаторский вклад в доказательство теорем и верификацию программ...
- Оскар Нирстраз , премия AITO Даля-Нюгаарда 2013 года за ... вклад ... направленный на создание более гибких систем по отношению к изменяющимся требованиям на основе языков программирования и механизмов, поддерживающих эволюцию программного обеспечения.
- Морис Ниват , исследования в области формальных языков и семантики языков программирования ; получил награду EATCS 2002 г.
- Джеймс Ноубл , премия Даля-Найгаарда AITO 2016 года за ведущую в мире репутацию в области объектно-ориентированных работ; провел новаторскую работу в области новых систем типов для языков программирования.
- Кристен Найгаард , премия Тьюринга 2001 года за идеи, фундаментальные для возникновения объектно-ориентированного программирования, благодаря дизайну Simula I и 67.
О [ править ]
- Мартин Одерски предоставил основу для Javac , совместно разработал Generics на Java , премию ACM SIGPLAN 2019 PL Software Award [2] для Скалы
- Питер О'Хирн , известный своей логикой разделения , стал соавтором статического анализа программ утилиты Infer Static Analyser , награда за самую влиятельную статью 2001 года. [24]
- Джон Оустерхаут , премия ACM Software System Award 1997 года за Tcl / Tk
- Сьюзан Овики , вклад в семантику, например, свободу от помех и [26]
П [ править ]
- Кришна Палем , Премия Макдауэлла 2008 года за новаторский вклад в алгоритмические, компиляционные и архитектурные основы встроенных вычислений.
- Дэвид Парк , работал над первой реализацией Lisp , авторитет в вопросах справедливости, схем программ и бисимуляции в параллельных вычислениях.
- Дэвид Парнас разработал сокрытие информации , важный элемент объектно-ориентированного программирования сегодня.
- Кристин Полен-Моринг , премия ACM SIGPLAN 2013 PL Software Award [2] 2015 и награда ACM Software System Award для Coq
- Манфред Пауль , Диссертация: О структуре формальных языков (1962, немецкий); соразработчик Alcor-Illinois ALGOL 60 компилятора
- Лоуренс Полсон , известный своим текстом ML для работающего программиста и интерактивным средством доказательства теорем Изабель , которое он представил в 1986 году.
- Стивен Пембертон , соразработчик ABC , случайного предшественника Python ; один из авторов языка разметки гипертекста ( HTML ).
- Алан Перлис , первый лауреат премии Тьюринга в 1966 году за... и создание компилятора АЛГОЛ 58.
- Карл Адам Петри IEEE Computer Society 2008 года , премия компьютерного пионера за теорию сетей Петри , а затем параллельные и распределенные вычисления.
- Бенджамин К. Пирс — за вклад в теорию и практику языков программирования и их систем типов, автор книги о системах типов под названием «Типы и языки программирования».
- Роб Пайк , соавтор Newsqueak , Limbo и Go
- Кешав К. Пингали , Премия Чарльза Бэббиджа Компьютерного общества 2023 года за вклад в высокопроизводительные компиляторы и графовые вычисления
- Гордон Плоткин — за структурную операционную семантику (SOS) и денотационную семантику ; Премия Милнера 2012 г. , Премия ACM SIGPLAN 2010 PL за достижения [6]
- Амир Пнуэли , премия Тьюринга 1996 года за плодотворную работу по внедрению темпоральной логики в информатику и за выдающийся вклад в верификацию программ и систем.
- Робин Попплстоун , языки COWSEL (переименованные в POP-1), POP-2 , POP-11 , Poplog IDE ; Фредди II Робот
- Сисели Попплуэлл , соразработчик программного обеспечения для Manchester Mark 1
- Воан Пратт разработал динамическую логику , используемую при формальной проверке программ, и анализ Пратта , используемый в его синтаксисе CGOL для Lisp.
- Уильям Пью , соавтор статического анализа кода инструмента FindBugs , оказавшего влияние на разработку модели памяти Java.
Р [ править ]
- Джордж Радин , первый среди равных, разработавший PL/I
- Брайан Рэнделл в 1964 году реализовал компилятор Algol 60 Whetstone. [27]
- Джон Рейф , язык и система Proteus для разработки параллельных приложений [28]
- Томас В. Репс , соавтор ранней (1978 г.) среды разработки Cornell Program Synthesizer . [29] соучредитель компании GrammaTech , разработавшей CodeSonar , награда ACM SIGPLAN 2017 PL Achievement Award [6]
- Митчел Резник разработал язык визуального программирования под названием Scratch.
- Джон К. Рейнольдс , изобрел полиморфное лямбда-исчисление (Система F) , уточнил ранние работы по продолжениям , ввел дефункционализацию , работал над логикой разделения , ACM SIGPLAN 2003 PL Achievement Award [6]
- Мартин Ричардс от IEEE Computer Society 2003 , награда Computer Pioneer за разработку и внедрение BCPL
- Деннис Ритчи , дизайнер C , лауреат премии Тьюринга 1983 года.
- Дуглас Т. Росс , отец языка программирования APT для управления числовым программным управлением , разработал и внедрил ALGOL X.
- Гвидо ван Россум , дизайнер Python
- Барбара Г. Райдер , обширная работа по Java и Javascript, например [30] [31]
С [ править ]
- Клаус Самельсон , пионер в области компиляторов для языков программирования и алгоритмов стека push-pop , Комитет Алгола 60 , см. также [4]
- Жан Саммет , разработчик FORMAC , один из разработчиков COBOL.
- Карл Сассенрат , дизайнер и разработчик Rebol
- Фред Б. Шнайдер , определил живучесть (в отличие от безопасности ), вклад в утвердительные методы разработки параллельных и распределенных программ. [32]
- Джейкоб Т. Шварц , дизайнер SETL и Artspeak
- Илья Сергей , за язык Scilla [33] и работать над «Эксплуатационные аспекты систем типов» .
- Рави Сетхи , наиболее известный как соавтор Книги Дракона , член ACM 1996 года за вклад в технологию компиляторов, языки программирования , ...
- Вирал Б. Шах , премия Дж. Х. Уилкинсона 2019 года в области числового программного обеспечения за совместную разработку языка Джулия
- Брайан Кантвелл Смит представил понятие рефлексивного программирования на языках программирования.
- Дэвид Кэнфилд Смит , соразработчик языка визуального программирования основанного Stagecast Creator, на концепции программирования на примерах.
- Мэри Лу Соффа , исследования в области компиляторов , оптимизации программ и многое другое, Премия Кена Кеннеди, 2012 г.
- Ричард Столлман , премия ACM Software System 2015 за коллекцию компиляторов GNU (GCC)
- Гай Л. Стил-младший , соавтор Scheme и дизайнер Fortress , награда ACM SIGPLAN 1997 PL за достижения [6]
- Александр Степанов , сторонник обобщенного программирования C++. , главный разработчик и разработчик стандартной библиотеки шаблонов
- Кристофер Стрейчи , соразработчик CPL (языка программирования) , отец денотационной семантики
- Бьёрн Страуструп , премия AITO Даля-Нюгаарда 2015 г. за разработку, внедрение и развитие C++ и IEEE Computer Society 2018 г. премия компьютерного пионера
- Джеральд Джей Сассман , соавтор Scheme
- Берт Сазерленд разработал двумерный язык программирования для управления графическими данными. [34] участвовал в разработке Smalltalk и Java
- Дон Сайм , создатель F#
Т [ править ]
- Тим Тейтельбаум , соавтор ранней (1978 г.) среды разработки Cornell Program Synthesizer , [29] соучредитель GrammaTech , который разработал CodeSonar , который выполняет статический анализ на C , C++ , C# и Java.
- Уоррен Тейтельман за BBN LISP , награду ACM Software System Award 1992 года за IDE под названием Interlisp.
- Кен Томпсон , дизайнер B , соавтор Go , премия Тьюринга 1983 г.
- Саймон Томпсон , исследования в области функционального программирования , учебники; разрабатывает Cardano языки, специфичные для предметной области : Marlowe
- Мадс Тофте , соавтор книги «Определение стандартного машинного обучения» , региональный вывод , премия POPL «Самая влиятельная статья 1994 года». [24]
- Эмина Торлак получила премию молодого исследователя Робина Милнера ACM SIGPLAN 2021 года за ведущую работу в области автоматизированной проверки. [17]
- Алан Тьюринг за машину Тьюринга ; его работа настолько важна, что премия Тьюринга , «Нобелевская премия в области вычислительной техники», носит его имя.
- Дэвид А. Тернер , разработал и внедрил SASL , KRC , и Миранда , член рабочей группы IFIP 2.1 по алгоритмическим языкам и исчислениям.
У [ править ]
- Джеффри Уллман , премия Тьюринга 2020 года за фундаментальные алгоритмы и теорию, лежащие в основе реализации языков программирования, а также за синтез этих результатов, очень влиятельные книги.
- Дэвид Унгар , лауреат премии AITO Даля-Найгаарда 2009 года , его работа над Self оказала глубокое влияние на эту область, представив передовую технологию адаптивной компиляции, которая сделала возможным широкое промышленное использование Java.
V [ edit ]
- Мартин Вечев разработал Silq, первый высокоуровневый PL для квантовых вычислений с строгой системой статических типов, удостоен награды ACM SIGPLAN 2019 года для молодых исследователей Робина Милнера. [17]
- Джон Влиссидес , один из « Банды четырех» , лауреат премии AITO Даля-Найгаарда 2006 года за… их книгу «Шаблоны проектирования:…» , премия ACM SIGPLAN 2005 PL за достижения [6]
- Виктор Высоцкий , соавтор новаторского языка потоков данных BLODI (BLOck DIAgram). См. Программирование потоков данных.
В [ править ]
- Эйити Вада , член команды, которая разработала АЛГОЛ N в качестве предполагаемого преемника АЛГОЛА 60 , но он не был выбран для того, что стало АЛГОЛом 68 ; позже он стал членом Рабочей группы 2.1 ИФИП.
- Филип Вадлер , соразработчик Haskell , участвовавший в добавлении универсальных типов в Java 5.0 , награда POPL за самую влиятельную статью 1993 года. [24]
- Ларри Уолл , дизайнер Perl
- Митчелл Ванд занимается семантикой языков программирования , соавтор книги Essentials of Programming Languages.
- Джон Уорнок , премия ACM Software System 1989 года за PostScript
- Дэвид Уоррен написал первый компилятор для Пролога , разработал абстрактную машину Уоррена (WAM), де-факто стандартную цель для компиляторов Пролога.
- Марк Вегман , соавтор статической формы с одним заданием , награды ACM SIGPLAN 2006 PL Achievement Award. [6]
- Питер Вегнер , плодотворная работа с Карделли по объектно-ориентированному программированию: Понимание типов [35]
- Питер Дж. Вайнбергер , внес свой вклад в разработку языка программирования AWK и компилятора Fortran f77.
- Работа Стефани Вейрих по выводу типов была включена в компилятор Glasgow Haskell ; ACM SIGPLAN 2016 г. Премия Робина Милнера для молодых исследователей [17]
- Дэвид Дж. Уилер IEEE Computer Society 1985 года , премия компьютерного пионера за на языке ассемблера программирование
- Дженнифер Уидом за докторскую диссертацию по системам проверки сетей на основе трассировки. [36]
- Адриан ван Вейнгаарден , разработчик АЛГОЛ 60 и АЛГОЛ 68 , разработал двухуровневую грамматику Ван Вейнгаардена , изложил продолжения
- Жанетт Винг , ранние работы включали «Поведенческое понятие подтипов» . [37] влиятельный в этой области в качестве корпоративного вице-президента Microsoft Research , а затем Колумбийского университета. исполнительного вице-президента по исследованиям
- Никлаус Вирт , премия Тьюринга 1984 года за разработку ряда инновационных компьютерных языков, Эйлера , АЛГОЛА W , Паскаля , Модулы и Оберона.
- Стивен Вольфрам , создатель Mathematica и Wolfram Language
- Майк Вуджер , влиятельный в разработке программного обеспечения и языков, включая ALGOL 60 и Ada. [38]
- Филип Вудворд , спроектировавший CORAL 66; его компьютерная группа разработала первую реализацию АЛГОЛА 68 , АЛГОЛ 68-R.
- Уильям Вульф , соразработчик BLISS , написал для него оптимизирующий компилятор , стал соучредителем компании по разработке компиляторов Tartan, Inc.
Ю [ править ]
- Кэтрин Йелик , известная своей работой над языками разделенного глобального адресного пространства , включая совместное изобретение Unified Parallel C.
- Андрей Ершов , теория, проектирование и реализация языков программирования (АЛЬФА, БЕТА, Рапира ), [39] частичная оценка
- Нобуо Йонеда , член команды, которая разработала АЛГОЛ N в качестве предполагаемого преемника АЛГОЛА 60 , но он не был выбран для того, что стало АЛГОЛом 68 ; член Рабочей группы ИФИП 2.1.
- Акинори Ёнезава , премия AITO Даля-Найгаарда 2008 г. за «его общий вклад как в теорию, так и в практику параллельных объектно-ориентированных языков...», разработчик ABCL/R , отражающего подмножества первого параллельного объектно-ориентированного языка программирования ABCL/1.
З [ править ]
- Марвин Зелковиц , функции PL, помогающие в разработке и отладке программ, тесты на корректность исполняемого кода во время выполнения. [40] [41]
- Хайнц Земанек , руководитель лаборатории IBM в Вене , сыграл решающую роль в разработке формального определения PL/I.
- Яап А. Зонневельд , он и Эдсгер В. Дейкстра написали первый ALGOL 60. компилятор
См. также [ править ]
Ссылки [ править ]
- ^ Jump up to: Перейти обратно: а б Арден, Б .; Грэм, Р. (1959). «О ГАТ и строительстве переводчиков» . Коммуникации АКМ . 2 (7): 24. дои : 10.1145/368370.368373 . S2CID 6703069 .
- ^ Jump up to: Перейти обратно: а б с д и ж г час я дж к л м «Награда за программное обеспечение в области языков программирования» . ACM СИГПЛАН . Проверено 29 августа 2022 г.
- ^ Баль, Анри Э .; Каашук, М. Франс; Таненбаум, Эндрю С. (1992). «Orca: язык параллельного программирования распределенных систем» . Транзакции IEEE по разработке программного обеспечения . 18 (3). IEEE : 190–205. дои : 10.1109/32.126768 . S2CID 1513191 .
- ^ Jump up to: Перейти обратно: а б Самельсон, Клаус ; Бауэр, Фридрих Людвиг (февраль 1960 г.). «Последовательный перевод формул» . Коммуникации АКМ . 3 (2): 76–83. дои : 10.1145/366959.366968 . S2CID 16646147 .
- ^ Jump up to: Перейти обратно: а б «Обладатели премии AITO Даля – Найгаарда» . Международная ассоциация в области технологий. 2014 . Проверено 21 августа 2022 г.
- ^ Jump up to: Перейти обратно: а б с д и ж г час я дж к л м н тот п д «Награда за достижения в области языков программирования» . Sigplan.org . Проверено 30 августа 2022 г.
- ^ «Премия ACM-AAAI Аллена Ньюэлла» . АКМ . Проверено 7 сентября 2022 г.
- ^ «Джереми Гиббонс: публикации» . Оксфордский университет . Проверено 05 сентября 2022 г.
- ^ «Справочник членов НАЭ» . НАЭ . 1993 год . Проверено 20 августа 2022 г.
- ^ Грис, Дэвид (1971). Создание компилятора для цифровых компьютеров (на английском, испанском, японском, китайском, итальянском и русском языках). Нью-Йорк: Джон Уайли и сыновья. ISBN 0-471-32776-Х .
Первый текст по написанию компилятора.
- ^ «Перфокарты IBM, на которых была написана книга, находятся в Стэнфордском музее» . Проверено 11 июля 2022 г.
- ^ Грис, Дэвид ; Левин, Гэри (октябрь 1980 г.). «Правила подтверждения вызова и процедуры» . Транзакции ACM в языках и системах программирования . 2 (4): 564–579. дои : 10.1145/357114.357119 . S2CID 2639439 .
- ^ Проектирование и реализация языков программирования (PDF) , Оксфордский университет, июль 1983 г. , получено 7 сентября 2022 г.
- ^ Джонс, CB (июнь 1981 г.). Методы разработки компьютерных программ, включая понятие интерференции (PDF) (докторская диссертация). Оксфордский университет.
- ^ Жиль Кан и Дэвид МакКуин (1976). Сопрограммы и сети параллельных процессов (Отчет). ИНРИА.
- ^ Кеннет К. Ноултон (1966), «Описание L6 программистом», CACM , 9 (8): 616–625, doi : 10.1145/365758.365792 , S2CID 43669187
- ^ Jump up to: Перейти обратно: а б с д «Премия Робина Милнера молодому исследователю» . СИГПЛАН . 2021 . Проверено 23 августа 2022 г.
- ^ Брюс Лижер (2011). «Парафраз». В Падуе, Д. (ред.). Энциклопедия параллельных вычислений . Спрингер, Бостон, Массачусетс. стр. 1407–1409. дои : 10.1007/978-0-387-09766-4_434 . ISBN 978-0-387-09765-7 .
- ^ PLDI — сокращение от «Проектирование и реализация языков программирования».
- ^ «Самая влиятельная награда PLDI Paper» . СИГПЛАН . Проверено 21 августа 2022 г.
- ^ Линдси, Швейцария (1996). «История Алгола 68». В Бергине, Ти Джей; Гибсон, Р.Г. (ред.). История языков программирования-II . АКМ Пресс. ISBN 0-201-89502-1 .
- ^ Лю, Яньхун Энни (январь 1996 г.). Инкрементные вычисления: систематический трансформационный подход, основанный на семантике (кандидатская диссертация). Корнелльский университет. hdl : 1813/7208 . Проверено 8 сентября 2022 г.
- ^ Яньхун Энни Лю (2013). Систематическая разработка программ: от ясности к эффективности . Издательство Кембриджского университета. ISBN 978-1-107-61079-8 .
- ^ Jump up to: Перейти обратно: а б с д и «Самая влиятельная награда POPL Paper» . ACM СИГПЛАН . Проверено 29 августа 2022 г.
- ^ Проект естественного программирования , заархивировано из оригинала 25 октября 2022 г. , получено 11 ноября 2022 г.
- ^ Овиски, Сьюзен ; Лэмпорт, Лесли (июль 1982 г.). «Доказательство живучести параллельных программ» . Транзакции ACM в языках и системах программирования . 9 (3): 455–495. дои : 10.1145/357172.357178 . S2CID 17838416 .
- ^ Брайан Рэнделл ; Лоуфорд Джон Рассел (1964). Реализация Алгола 60 (PDF) . Академическая пресса . ISBN 0-12-578150-4 .
- ^ «Система Proteus для разработки параллельных приложений» . Институт Пустельги. 1994 . Проверено 23 августа 2022 г.
- ^ Jump up to: Перейти обратно: а б Тейтельбаум, Т.; Т. Репс (сентябрь 1981 г.). «Программный синтезатор Корнелла: среда синтаксически-ориентированного программирования» . Коммуникации АКМ . 24 (9): 563–573. дои : 10.1145/358746.358755 . S2CID 14317073 .
- ^ ОК, Чесли; Рен, X.; Райдер, Барбара Г. (26 сентября 2005 г.). Crisp: инструмент отладки Java-программ . 21-я Международная конференция IEEE по сопровождению программного обеспечения (ICSM'05). IEEE. стр. 712–734. дои : 10.1109/ICSM.2005.37 . Проверено 23 августа 2022 г.
- ^ Вэй, Шии; Райдер, Барбара Г. (2015). Бойленд, Джон Тан (ред.). Адаптивный контекстно-зависимый анализ для JavaScript . 29-я Европейская конференция по объектно-ориентированному программированию (ECOOP 2015). Том. 37. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. стр. 712–734 . Проверено 23 августа 2022 г.
- ^ Шнайдер, Фред Б. (сентябрь 1997 г.). О параллельном программировании . Тексты по информатике. Springer Verlag , Берлин, Гейдельберг. п. 473. дои : 10.1007/978-1-4612-1830-2 . ISBN 978-0-387-94942-0 . S2CID 9980317 .
- ^ Сергей, Илья; Нагарадж, Вайвасватха; Йохансен, Джейкоб; Кумар, Амрит; Трунов, Антон; Хао, Кен Чан Гуань (октябрь 2019 г.). Стивен Н. Фройнд; Эран Яхав (ред.). «Безопасное программирование смарт-контрактов с помощью Scilla» . Труды ACM по языкам программирования (PACMPL) . 3 (ООПСЛА). АСМ : 1–30. дои : 10.1145/3360611 . S2CID 203577198 .
- ^ Сазерленд, Уильям Роберт (январь 1966 г.). Он-лайн графическая спецификация компьютерных процедур (кандидатская диссертация). Массачусетский технологический институт . hdl : 1721.1/13474 . Проверено 25 августа 2022 г.
- ^ Карделли, Лука ; Вегнер, Питер (декабрь 1985 г.). «О понимании типов, абстракции данных и полиморфизме» (PDF) . Обзоры вычислительной техники ACM . 17 (4): 471–523. CiteSeerX 10.1.1.117.695 . дои : 10.1145/6041.6042 . ISSN 0360-0300 . S2CID 2921816 .
- ^ Видом, Дженнифер (1987). Системы проверки сетей на основе трассировки: выразительность и полнота (параллелизм) (кандидатская диссертация). Корнеллский университет . Проверено 21 августа 2022 г.
- ^ Лисков, Барбара Х .; Винг, Жаннетт (ноябрь 1994 г.). «Поведенческое понятие подтипирования» . Транзакции ACM в языках и системах программирования . 16 (6): 1811–1841. дои : 10.1145/197320.197383 . S2CID 999172 .
- ^ Йейтс, Дэвид (весна 2010 г.). «Профиль пионера: Майкл Вуджер» . Компьютерное возрождение – Бюллетень Общества охраны компьютеров . Том. 50.
- ^ «Андрей Петрович Ершов» (PDF) . Компьютерное общество IEEE.
- ^ - (сентябрь 1973 г.). «Обратимое исполнение» . САКМ . 16 (9): 566. дои : 10.1145/362342.362360 . S2CID 24277687 .
- ^ - (январь 1981 г.). «Реализация языковых улучшений». Компьютерные языки . 6 (3–4): 139–153. дои : 10.1016/0096-0551(81)90026-6 .