✖
~~~~~~~~~~~~~~~~~~~~ Arc.Ask3.Ru ~~~~~~~~~~~~~~~~~~~~~ 
Номер скриншота №:
✰ 22E9E4C6487E0E33B8ACEFA54336957F__1711716900 ✰
Заголовок документа оригинал.:
✰ List of programming language researchers - Wikipedia ✰
Заголовок документа перевод.:
✰ Список исследователей языков программирования — Википедия ✰
Снимок документа находящегося по адресу (URL):
✰ https://en.wikipedia.org/wiki/List_of_programming_language_researchers ✰
Адрес хранения снимка оригинал (URL):
✰ https://arc.ask3.ru/arc/aa/22/7f/22e9e4c6487e0e33b8acefa54336957f.html ✰
Адрес хранения снимка перевод (URL):
✰ https://arc.ask3.ru/arc/aa/22/7f/22e9e4c6487e0e33b8acefa54336957f__translat.html ✰
Дата и время сохранения документа:
✰ 21.06.2024 10:19:43 (GMT+3, MSK) ✰
Дата и время изменения документа (по данным источника):
✰ 29 March 2024, at 15:55 (UTC). ✰ 

~~~~~~~~~~~~~~~~~~~~~~ Ask3.Ru ~~~~~~~~~~~~~~~~~~~~~~ 
Сервисы Ask3.ru: 
 Архив документов (Снимки документов, в формате HTML, PDF, PNG - подписанные ЭЦП, доказывающие существование документа в момент подписи. Перевод сохраненных документов на русский язык.) 
✰ https://arc.ask3.ru ✰
 Ответы на вопросы (Сервис ответов на вопросы, в основном, научной направленности) 
✰ https://ask3.ru/answer2question ✰
 Товарный сопоставитель (Сервис сравнения и выбора товаров) ✰✰
✰ https://ask3.ru/product2collation ✰
 Партнеры 
✰ https://comrades.ask3.ru ✰


Совет. Чтобы искать на странице, нажмите Ctrl+F или ⌘-F (для MacOS) и введите запрос в поле поиска.
Arc.Ask3.ru: далее начало оригинального документа

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

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

Edit links
Из Википедии, бесплатной энциклопедии

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

Это динамический список , и он, возможно, никогда не сможет соответствовать определенным стандартам полноты. Вы можете помочь, добавив недостающие элементы из надежных источников .

А [ править ]

  • Мартин Абади за язык программирования Baby Modula-3 и его книгу (совместно с Лукой Карделли ) «Теория объектов».
  • Самсон Абрамски , вклад в области ленивого лямбда-исчисления и теории параллелизма , а также совместное редактирование 6-томного справочника по логике в информатике.
  • Жан-Раймон Абриаль , отец Z-нотации и B-метода , стремился к четкой спецификации и совершенствованию компьютерных программ и компьютерных систем в целом.
  • Викрам Адве , награда ACM Software System Award 2012 за LLVM , набор компилятора и инструментальной цепочки . технологий
  • Гул Ага , избран научным сотрудником ACM в 2018 году за исследования в области параллельного программирования и формальных методов, в частности модели актера.
  • Альфред Ахо , лауреат премии AWK, премия Тьюринга 2020 года за фундаментальные алгоритмы и теорию, лежащие в основе реализации языков программирования, а также за синтез этих результатов... очень влиятельные книги...
  • Фрэнсис Аллен , премия Тьюринга 2006 года за новаторский вклад в теорию и практику оптимизации методов компилятора...
  • Эндрю Аппель , особенно известный благодаря своим по компиляторам книгам « Современная реализация компилятора в 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. ^ Перейти обратно: а б Арден, Б .; Грэм, Р. (1959). «О ГАТ и строительстве переводчиков» . Коммуникации АКМ . 2 (7): 24. дои : 10.1145/368370.368373 . S2CID   6703069 .
  2. ^ Перейти обратно: а б с д Это ж г час я дж к л м «Награда за программное обеспечение в области языков программирования» . ACM СИГПЛАН . Проверено 29 августа 2022 г.
  3. ^ Баль, Анри Э .; Каашук, М. Франс; Таненбаум, Эндрю С. (1992). «Orca: язык параллельного программирования распределенных систем» . Транзакции IEEE по разработке программного обеспечения . 18 (3). IEEE : 190–205. дои : 10.1109/32.126768 . S2CID   1513191 .
  4. ^ Перейти обратно: а б Самельсон, Клаус ; Бауэр, Фридрих Людвиг (февраль 1960 г.). «Последовательный перевод формул» . Коммуникации АКМ . 3 (2): 76–83. дои : 10.1145/366959.366968 . S2CID   16646147 .
  5. ^ Перейти обратно: а б «Обладатели премии AITO Даля – Найгаарда» . Международная ассоциация в области технологий. 2014 . Проверено 21 августа 2022 г.
  6. ^ Перейти обратно: а б с д Это ж г час я дж к л м н О п д «Награда за достижения в области языков программирования» . Sigplan.org . Проверено 30 августа 2022 г.
  7. ^ «Премия ACM-AAAI Аллена Ньюэлла» . АКМ . Проверено 7 сентября 2022 г.
  8. ^ «Джереми Гиббонс: публикации» . Оксфордский университет . Проверено 5 сентября 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. ^ Перейти обратно: а б с д «Премия Робина Милнера молодому исследователю» . СИГПЛАН . 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 г.). Инкрементальные вычисления: систематический трансформационный подход, основанный на семантике (кандидатская диссертация). Cornell University. hdl : 1813/7208 . Проверено 8 сентября 2022 г.
  23. ^ Яньхун Энни Лю (2013). Систематическая разработка программ: от ясности к эффективности . Издательство Кембриджского университета. ISBN  978-1-107-61079-8 .
  24. ^ Перейти обратно: а б с д Это «Самая влиятельная награда 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. ^ Перейти обратно: а б Тейтельбаум, Т.; Т. Репс (сентябрь 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). Системы проверки сетей на основе трассировки: выразительность и полнота (параллелизм) (кандидатская диссертация). Cornell University . Проверено 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 .

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

Retrieved from "https://en.wikipedia.org/w/index.php?title=List_of_programming_language_researchers&oldid=1216181082"
Arc.Ask3.Ru: конец оригинального документа.
Arc.Ask3.Ru
Номер скриншота №: 22E9E4C6487E0E33B8ACEFA54336957F__1711716900
URL1:https://en.wikipedia.org/wiki/List_of_programming_language_researchers
Заголовок, (Title) документа по адресу, URL1:
List of programming language researchers - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть, любые претензии не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, денежную единицу можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)