Американский учёный-компьютерщик
Генри Гивенс Бейкер-младший — американский ученый-компьютерщик, внесший вклад в сборку мусора , функциональные языки программирования и линейную логику . Он был одним из основателей 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 августа 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 г.
Внешние ссылки
- Архив исследовательских работ Генри Бейкера в Интернет-архиве
