WikiDer > Генри Бейкер (ученый-компьютерщик)

Henry Baker (computer scientist)
Генри Бейкер
Альма-матерМассачусетский технологический институт
Научная карьера
ТезисАктерские системы для вычислений в реальном времени (1978)
ДокторантКарл Хьюитт
Интернет сайтдома.трубопровод.com/ ~ hbaker1/

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

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

Бейкер получил степень бакалавра наук. (1969), С. (1973), E.E. (1973) и доктор философии (1978) степени в M.I.T.

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

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

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

Рекомендации

внешняя ссылка