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

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

А

Б

С

Д

Э

Ф

Г

ЧАС

я

Дж.

К

Л

М

Н

О

П

Р

С

Т

У

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

В

Вт

И

З

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

Ссылки

  1. ^ ab Арден, Б.; Грэм, Р. (1959). «О GAT и построении трансляторов». Сообщения ACM . 2 (7): 24. doi : 10.1145/368370.368373 . S2CID  6703069.
  2. ^ abcdefghijklm "Programming Languages ​​Software Award". ACM SIGPLAN . Получено 29-08-2022 .
  3. ^ Бал, Анри Э .; Каашук, М. Франс; Таненбаум, Эндрю С. (1992). «Orca: язык для параллельного программирования распределенных систем». Труды IEEE по программной инженерии . 18 (3). IEEE : 190– 205. doi : 10.1109/32.126768. S2CID  1513191.
  4. ^ ab Самельсон, Клаус ; Бауэр, Фридрих Людвиг (февраль 1960). «Последовательный перевод формул». Сообщения ACM . 3 (2): 76– 83. doi : 10.1145/366959.366968 . S2CID  16646147.
  5. ^ ab «Обладатели премии AITO Даля – Найгаарда». Международная ассоциация в области технологий. 2014 . Проверено 21 августа 2022 г.
  6. ^ abcdefghijklmnopq "Programming Languages ​​AchievementAward". Sigplan.org . Получено 2022-08-30 .
  7. ^ "ACM-AAAI Allen Newell Award". ACM . Получено 2022-09-07 .
  8. ^ "Джереми Гиббонс: публикации". Оксфордский университет . Получено 2022-09-05 .
  9. ^ "Справочник членов NAE". NAE . 1993. Получено 20 августа 2022 г.
  10. ^ Gries, David (1971). Compiler Construction for Digital Computers (на английском, испанском, японском, китайском, итальянском и русском языках). Нью-Йорк: John Wiley and Sons. ISBN 0-471-32776-X. Первый текст по написанию компиляторов.
  11. ^ "Перфокарты IBM, на которых была написана книга, находятся в Стэнфордском музее" . Получено 11 июля 2022 г.
  12. ^ Gries, David ; Levin, Gary (октябрь 1980). «Правила доказательства присваивания и вызова процедур». ACM Transactions on Programming Languages ​​and Systems . 2 (4): 564– 579. doi : 10.1145/357114.357119 . S2CID  2639439.
  13. ^ Проектирование и реализация языков программирования (PDF) , Оксфордский университет, июль 1983 г. , получено 7 сентября 2022 г.
  14. ^ Джонс, К. Б. (июнь 1981 г.). Методы разработки компьютерных программ, включая понятие помех (PDF) (диссертация на степень доктора философии). Оксфордский университет.
  15. ^ Жиль Кан и Дэвид Маккуин (1976). Сопрограммы и сети параллельных процессов (отчет). INRIA.
  16. ^ Кеннет С. Ноултон (1966), «Описание L6 программистом», CACM , 9 (8): 616– 625, doi : 10.1145/365758.365792 , S2CID  43669187
  17. ^ abcd "Премия Робина Милнера для молодых исследователей". SIGPLAN . 2021. Получено 23.08.2022 .
  18. ^ Брюс Лижер (2011). «Parafrase». В Падуе, Д. (ред.). Энциклопедия параллельных вычислений . Springer, Бостон, Массачусетс. С.  1407– 1409. doi :10.1007/978-0-387-09766-4_434. ISBN 978-0-387-09765-7.
  19. ^ PLDI — это сокращение от Programming Language Design and Implementation (Проектирование и реализация языка программирования).
  20. ^ "Премия за самую влиятельную работу PLDI". SIGPLAN . Получено 21.08.2022 .
  21. ^ Линдси, CH (1996). "История ALGOL 68". В Bergin, TJ; Gibson, RG (ред.). История языков программирования-II . ACM Press. ISBN 0-201-89502-1.
  22. ^ Лю, Яньхун Энни (январь 1996 г.). Инкрементное вычисление: систематический трансформационный подход на основе семантики (диссертация на степень доктора философии). Корнелльский университет. hdl :1813/7208 . Получено 08.09.2022 .
  23. ^ Яньхун Энни Лю (2013). Систематическая разработка программ: от ясности к эффективности . Cambridge University Press. ISBN 978-1-107-61079-8.
  24. ^ abcde "Премия за самую влиятельную работу POPL". ACM SIGPLAN . Получено 29.08.2022 .
  25. ^ Проект Natural Programming, архивировано из оригинала 2022-10-25 , извлечено 2022-11-11
  26. ^ Оуики, Сьюзен ; Лампорт, Лесли (июль 1982 г.). «Доказательство свойств жизнеспособности параллельных программ». Труды ACM по языкам и системам программирования . 9 (3): 455– 495. doi : 10.1145/357172.357178 . S2CID  17838416.
  27. ^ Брайан Рэнделл ; Лоуфорд Джон Рассел (1964). Реализация Algol 60 (PDF) . Academic Press . ISBN 0-12-578150-4.
  28. ^ «Система Proteus для разработки параллельных приложений». Институт Кестрела. 1994. Получено 23 августа 2022 г.
  29. ^ ab Teitelbaum, T.; T. Reps (сентябрь 1981 г.). «Синтезатор программ Корнелла: среда программирования, управляемая синтаксисом». Communications of the ACM . 24 (9): 563– 573. doi : 10.1145/358746.358755 . S2CID  14317073.
  30. ^ OC, Chesley; Ren, X.; Ryder, Barbara G. (26 сентября 2005 г.). Crisp: отладочный инструмент для программ Java. 21-я международная конференция IEEE по обслуживанию программного обеспечения (ICSM'05). IEEE. стр.  712–734 . doi :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. doi :10.1007/978-1-4612-1830-2. ISBN 978-0-387-94942-0. S2CID  9980317.
  33. ^ Сергей, Илья; Нагарадж, Вайвасватха; Йохансен, Якоб; Кумар, Амрит; Трунов, Антон; Хао, Кен Чан Гуан (октябрь 2019 г.). Стивен Н. Фройнд; Эран Яхав (ред.). «Безопасное программирование смарт-контрактов с помощью Scilla». Труды ACM по языкам программирования . 3 (OOPSLA). ACM : 1– 30. doi : 10.1145/3360611 . S2CID  203577198.
  34. ^ Сазерленд, Уильям Роберт (январь 1966). Онлайновая графическая спецификация компьютерных процедур (диссертация на степень доктора философии). MIT . hdl :1721.1/13474 . Получено 25.08.2022 .
  35. ^ Карделли, Лука ; Вегнер, Питер (декабрь 1985 г.). «О понимании типов, абстракции данных и полиморфизма» (PDF) . ACM Computing Surveys . 17 (4): 471– 523. CiteSeerX 10.1.1.117.695 . doi :10.1145/6041.6042. ISSN  0360-0300. S2CID  2921816. 
  36. ^ Видом, Дженнифер (1987). Системы сетевых доказательств на основе трассировки: выразительность и полнота (параллелизм) (диссертация). Корнелльский университет . Получено 21 августа 2022 г.
  37. ^ Лисков, Барбара Х.; Винг , Жанетт (ноябрь 1994 г.). «Поведенческое понятие подтипирования». Труды ACM по языкам и системам программирования . 16 (6): 1811– 1841. doi : 10.1145/197320.197383 . S2CID  999172.
  38. ^ Йейтс, Дэвид (весна 2010 г.). «Профиль пионера: Майкл Вуджер». Computer Resurrection – бюллетень Computer Conservation Society . Том 50.
  39. ^ "Андрей Петрович Ершов" (PDF) . IEEE Computer Society.
  40. ^ — (сентябрь 1973 г.). «Обратимое исполнение». CACM . 16 (9): 566. doi : 10.1145/362342.362360 . S2CID  24277687.
  41. ^ — (январь 1981). «Внедрение языковых улучшений». Компьютерные языки . 6 ( 3–4 ): 139–153 . doi :10.1016/0096-0551(81)90026-6.
  • Язык Люди
Retrieved from "https://en.wikipedia.org/w/index.php?title=List_of_programming_language_researchers&oldid=1265205564"