Jump to content

Список исследователей языков программирования

Ниже приводится список исследователей теории языков программирования , проектирования , реализации и смежных областей.

А [ править ]

  • Мартин Абади за язык программирования 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 )

Б [ править ]

С [ править ]

Д [ править ]

Э [ править ]

Ф [ править ]

Г [ править ]

Х [ править ]

Я [ править ]

Дж [ править ]

К [ править ]

Л [ править ]

М [ править ]

Н [ править ]

О [ править ]

П [ править ]

Р [ править ]

С [ править ]

Т [ править ]

У [ править ]

  • Джеффри Уллман , премия Тьюринга 2020 года за фундаментальные алгоритмы и теорию, лежащие в основе реализации языков программирования, а также за синтез этих результатов, очень влиятельные книги.
  • Дэвид Унгар , лауреат премии AITO Даля-Найгаарда 2009 года , его работа над Self оказала глубокое влияние на эту область, представив передовую технологию адаптивной компиляции, которая сделала возможным широкое промышленное использование Java.

V [ edit ]

В [ править ]

Ю [ править ]

З [ править ]

См. также [ править ]

Ссылки [ править ]

  1. ^ Jump up to: Перейти обратно: а б Арден, Б .; Грэм, Р. (1959). «О ГАТ и строительстве переводчиков» . Коммуникации АКМ . 2 (7): 24. дои : 10.1145/368370.368373 . S2CID   6703069 .
  2. ^ Jump up to: Перейти обратно: а б с д и ж г час я дж к л м «Награда за программное обеспечение в области языков программирования» . ACM СИГПЛАН . Проверено 29 августа 2022 г.
  3. ^ Баль, Анри Э .; Каашук, М. Франс; Таненбаум, Эндрю С. (1992). «Orca: язык параллельного программирования распределенных систем» . Транзакции IEEE по разработке программного обеспечения . 18 (3). IEEE : 190–205. дои : 10.1109/32.126768 . S2CID   1513191 .
  4. ^ Jump up to: Перейти обратно: а б Самельсон, Клаус ; Бауэр, Фридрих Людвиг (февраль 1960 г.). «Последовательный перевод формул» . Коммуникации АКМ . 3 (2): 76–83. дои : 10.1145/366959.366968 . S2CID   16646147 .
  5. ^ Jump up to: Перейти обратно: а б «Обладатели премии AITO Даля – Найгаарда» . Международная ассоциация в области технологий. 2014 . Проверено 21 августа 2022 г.
  6. ^ Jump up to: Перейти обратно: а б с д и ж г час я дж к л м н тот п д «Награда за достижения в области языков программирования» . Sigplan.org . Проверено 30 августа 2022 г.
  7. ^ «Премия ACM-AAAI Аллена Ньюэлла» . АКМ . Проверено 7 сентября 2022 г.
  8. ^ «Джереми Гиббонс: публикации» . Оксфордский университет . Проверено 05 сентября 2022 г.
  9. ^ «Справочник членов НАЭ» . НАЭ . 1993 год . Проверено 20 августа 2022 г.
  10. ^ Грис, Дэвид (1971). Создание компилятора для цифровых компьютеров (на английском, испанском, японском, китайском, итальянском и русском языках). Нью-Йорк: Джон Уайли и сыновья. ISBN  0-471-32776-Х . Первый текст по написанию компилятора.
  11. ^ «Перфокарты IBM, на которых была написана книга, находятся в Стэнфордском музее» . Проверено 11 июля 2022 г.
  12. ^ Грис, Дэвид ; Левин, Гэри (октябрь 1980 г.). «Правила подтверждения вызова и процедуры» . Транзакции ACM в языках и системах программирования . 2 (4): 564–579. дои : 10.1145/357114.357119 . S2CID   2639439 .
  13. ^ Проектирование и реализация языков программирования (PDF) , Оксфордский университет, июль 1983 г. , получено 7 сентября 2022 г.
  14. ^ Джонс, CB (июнь 1981 г.). Методы разработки компьютерных программ, включая понятие интерференции (PDF) (докторская диссертация). Оксфордский университет.
  15. ^ Жиль Кан и Дэвид МакКуин (1976). Сопрограммы и сети параллельных процессов (Отчет). ИНРИА.
  16. ^ Кеннет К. Ноултон (1966), «Описание L6 программистом», CACM , 9 (8): 616–625, doi : 10.1145/365758.365792 , S2CID   43669187
  17. ^ Jump up to: Перейти обратно: а б с д «Премия Робина Милнера молодому исследователю» . СИГПЛАН . 2021 . Проверено 23 августа 2022 г.
  18. ^ Брюс Лижер (2011). «Парафраз». В Падуе, Д. (ред.). Энциклопедия параллельных вычислений . Спрингер, Бостон, Массачусетс. стр. 1407–1409. дои : 10.1007/978-0-387-09766-4_434 . ISBN  978-0-387-09765-7 .
  19. ^ PLDI — сокращение от «Проектирование и реализация языков программирования».
  20. ^ «Самая влиятельная награда PLDI Paper» . СИГПЛАН . Проверено 21 августа 2022 г.
  21. ^ Линдси, Швейцария (1996). «История Алгола 68». В Бергине, Ти Джей; Гибсон, Р.Г. (ред.). История языков программирования-II . АКМ Пресс. ISBN  0-201-89502-1 .
  22. ^ Лю, Яньхун Энни (январь 1996 г.). Инкрементные вычисления: систематический трансформационный подход, основанный на семантике (кандидатская диссертация). Корнелльский университет. hdl : 1813/7208 . Проверено 8 сентября 2022 г.
  23. ^ Яньхун Энни Лю (2013). Систематическая разработка программ: от ясности к эффективности . Издательство Кембриджского университета. ISBN  978-1-107-61079-8 .
  24. ^ Jump up to: Перейти обратно: а б с д и «Самая влиятельная награда POPL Paper» . ACM СИГПЛАН . Проверено 29 августа 2022 г.
  25. ^ Проект естественного программирования , заархивировано из оригинала 25 октября 2022 г. , получено 11 ноября 2022 г.
  26. ^ Овиски, Сьюзен ; Лэмпорт, Лесли (июль 1982 г.). «Доказательство живучести параллельных программ» . Транзакции ACM в языках и системах программирования . 9 (3): 455–495. дои : 10.1145/357172.357178 . S2CID   17838416 .
  27. ^ Брайан Рэнделл ; Лоуфорд Джон Рассел (1964). Реализация Алгола 60 (PDF) . Академическая пресса . ISBN  0-12-578150-4 .
  28. ^ «Система Proteus для разработки параллельных приложений» . Институт Пустельги. 1994 . Проверено 23 августа 2022 г.
  29. ^ Jump up to: Перейти обратно: а б Тейтельбаум, Т.; Т. Репс (сентябрь 1981 г.). «Программный синтезатор Корнелла: среда синтаксически-ориентированного программирования» . Коммуникации АКМ . 24 (9): 563–573. дои : 10.1145/358746.358755 . S2CID   14317073 .
  30. ^ ОК, Чесли; Рен, X.; Райдер, Барбара Г. (26 сентября 2005 г.). Crisp: инструмент отладки Java-программ . 21-я Международная конференция IEEE по сопровождению программного обеспечения (ICSM'05). IEEE. стр. 712–734. дои : 10.1109/ICSM.2005.37 . Проверено 23 августа 2022 г.
  31. ^ Вэй, Шии; Райдер, Барбара Г. (2015). Бойленд, Джон Тан (ред.). Адаптивный контекстно-зависимый анализ для JavaScript . 29-я Европейская конференция по объектно-ориентированному программированию (ECOOP 2015). Том. 37. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. стр. 712–734 . Проверено 23 августа 2022 г.
  32. ^ Шнайдер, Фред Б. (сентябрь 1997 г.). О параллельном программировании . Тексты по информатике. Springer Verlag , Берлин, Гейдельберг. п. 473. дои : 10.1007/978-1-4612-1830-2 . ISBN  978-0-387-94942-0 . S2CID   9980317 .
  33. ^ Сергей, Илья; Нагарадж, Вайвасватха; Йохансен, Джейкоб; Кумар, Амрит; Трунов, Антон; Хао, Кен Чан Гуань (октябрь 2019 г.). Стивен Н. Фройнд; Эран Яхав (ред.). «Безопасное программирование смарт-контрактов с помощью Scilla» . Труды ACM по языкам программирования (PACMPL) . 3 (ООПСЛА). АСМ : 1–30. дои : 10.1145/3360611 . S2CID   203577198 .
  34. ^ Сазерленд, Уильям Роберт (январь 1966 г.). Он-лайн графическая спецификация компьютерных процедур (кандидатская диссертация). Массачусетский технологический институт . hdl : 1721.1/13474 . Проверено 25 августа 2022 г.
  35. ^ Карделли, Лука ; Вегнер, Питер (декабрь 1985 г.). «О понимании типов, абстракции данных и полиморфизме» (PDF) . Обзоры вычислительной техники ACM . 17 (4): 471–523. CiteSeerX   10.1.1.117.695 . дои : 10.1145/6041.6042 . ISSN   0360-0300 . S2CID   2921816 .
  36. ^ Видом, Дженнифер (1987). Системы проверки сетей на основе трассировки: выразительность и полнота (параллелизм) (кандидатская диссертация). Корнеллский университет . Проверено 21 августа 2022 г.
  37. ^ Лисков, Барбара Х .; Винг, Жаннетт (ноябрь 1994 г.). «Поведенческое понятие подтипирования» . Транзакции ACM в языках и системах программирования . 16 (6): 1811–1841. дои : 10.1145/197320.197383 . S2CID   999172 .
  38. ^ Йейтс, Дэвид (весна 2010 г.). «Профиль пионера: Майкл Вуджер» . Компьютерное возрождение – Бюллетень Общества охраны компьютеров . Том. 50.
  39. ^ «Андрей Петрович Ершов» (PDF) . Компьютерное общество IEEE.
  40. ^ - (сентябрь 1973 г.). «Обратимое исполнение» . САКМ . 16 (9): 566. дои : 10.1145/362342.362360 . S2CID   24277687 .
  41. ^ - (январь 1981 г.). «Реализация языковых улучшений». Компьютерные языки . 6 (3–4): 139–153. дои : 10.1016/0096-0551(81)90026-6 .

Внешние ссылки [ править ]

Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 22e9e4c6487e0e33b8acefa54336957f__1711716900
URL1:https://arc.ask3.ru/arc/aa/22/7f/22e9e4c6487e0e33b8acefa54336957f.html
Заголовок, (Title) документа по адресу, URL1:
List of programming language researchers - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)