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

Генри Бейкер
Альма-матер	С
Научная карьера
Диссертация	Актерские системы для вычислений в реальном времени   (1978)
Докторантура	Карл Хьюитт
Веб-сайт	дом .конвейер .с /~hbaker1 /

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

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

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

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

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

• Хьюитт, Карл ; Бейкер, Генри (1–5 августа 1977 г.), «Акторы и непрерывные функционалы», Материалы рабочей конференции ИФИП по формальному описанию концепций программирования.
• Хьюитт, Карл; Бейкер, Генри Г. (1977), «Законы связи параллельных процессов», Конгресс ИФИП : 987–92.
• Бейкер, Генри (январь 1978 г.), Акторные системы для вычислений в реальном времени (докторская диссертация EECS), Кембридж: Массачусетский технологический институт
• Бейкер, Генри Г. (1978), «Поверхностная привязка в LISP 1.5» , Communications of the 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

Внешние ссылки

• Архив исследовательских работ Генри Бейкера в Интернет-архиве