Генри Бейкер (специалист по информатике)

Американский учёный-компьютерщик
Генри Бейкер
Альма-матерМассачусетский технологический институт
Научная карьера
ТезисСистемы акторов для вычислений в реальном времени  (1978)
научный руководительКарл Хьюитт
Веб-сайтblog.plover.com/prog/Henry-Baker.html

Генри Гивенс Бейкер-младший — американский ученый-компьютерщик, внесший вклад в сборку мусора , функциональные языки программирования и линейную логику . Он был одним из основателей Symbolics , компании, которая разработала и произвела линейку машин Lisp . В 2006 году Ассоциация вычислительной техники признала его выдающимся ученым .

Он известен своими исследованиями в области сбора мусора, в частности, копирующего сборщика мусора в реальном времени Бейкера, а также модели актора .

Бейкер получил степени бакалавра наук (1969), магистра наук (1973), инженера-электрика (1973) и доктора философии (1978) в Массачусетском технологическом институте.

Компилятор Chicken Scheme был вдохновлен инновационным дизайном Baker's. [1]

Библиография

  • Хьюитт, Карл ; Бейкер, Генри (1–5 августа 1977 г.), «Акторы и непрерывные функционалы», Труды рабочей конференции IFIP по формальному описанию концепций программирования
  • Хьюитт, Карл; Бейкер, Генри Г. (1977), «Законы для взаимодействия параллельных процессов», Конгресс IFIP : 987–92
  • Бейкер, Генри (январь 1978 г.), Системы акторов для вычислений в реальном времени (докторская диссертация EECS), Кембридж: Массачусетский технологический институт
  • Бейкер, Генри Г. (1978), «Неглубокое связывание в LISP 1.5», Сообщения ACM , 21 (7): 565–9, doi : 10.1145/359545.359566 , S2CID  10567619
  • Бейкер, Генри Г. (4 апреля 1978 г.), «Обработка списков в реальном времени на последовательном компьютере», Communications of the ACM , 21 (4): 280–294, CiteSeerX  10.1.1.468.2631 , doi :10.1145/359460.359470, S2CID  17661259

Ссылки

  1. Генри Г. Бейкер (1 августа 1995 г.). «CONS Should Not CONS Its Arguments, part II: Cheney on the MTA» ACM SIGPLAN Notices . 30 (9): 17–20. doi : 10.1145/214448.214454. ISSN  0362-1340. S2CID  20720831. Архивировано из оригинала 8 мая 2020 г. Получено 23 апреля 2020 г.
  • Архив исследовательских работ Генри Бейкера в Интернет-архиве


Взято с "https://en.wikipedia.org/w/index.php?title=Генри_Бейкер_(ученый_компьютерщик)&oldid=1244758760"