informático estadounidense
Henry Givens Baker Jr. es un científico informático estadounidense que ha realizado contribuciones en recolección de basura , lenguajes de programación funcionales y lógica lineal . Fue uno de los fundadores de Symbolics , una empresa que diseñó y fabricó una línea de máquinas Lisp . En 2006 fue reconocido como Científico Distinguido por la Association for Computing Machinery .
Se destaca por su investigación sobre la recolección de basura, particularmente el recolector de copias en tiempo real de Baker, y sobre el modelo Actor .
Baker recibió su B.Sc. (1969), SM (1973), EE (1973) y Ph.D. (1978) grados en el MIT
El compilador Chicken Scheme se inspiró en un diseño innovador de Baker's. [1]
Bibliografía
- Hewitt, Carl ; Baker, Henry (1 al 5 de agosto de 1977), "Actores y funcionales continuos", Actas de la conferencia de trabajo del IFIP sobre descripción formal de conceptos de programación
- Hewitt, Carl; Baker, Henry G. (1977), "Leyes para comunicar procesos paralelos", Congreso IFIP : 987–92
- Baker, Henry (enero de 1978), Sistemas de actores para la computación en tiempo real (tesis doctoral EECS), Cambridge: Instituto de Tecnología de Massachusetts
- Baker, Henry G. (1978), "Encuadernación superficial en LISP 1.5", Comunicaciones del ACM , 21 (7): 565–9, doi : 10.1145/359545.359566 , S2CID 10567619
- Baker, Henry G. (4 de abril de 1978), "Procesamiento de listas en tiempo real en una computadora en serie", Communications of the ACM , 21 (4): 280–294, CiteSeerX 10.1.1.468.2631 , doi :10.1145/359460.359470 , S2CID 17661259
Referencias
- ^ Henry G. Baker (1 de agosto de 1995). "Los CONTRAS no deberían contrarrestar sus argumentos, parte II: Cheney sobre la MTA" Avisos de ACM SIGPLAN . 30 (9): 17–20. doi :10.1145/214448.214454. ISSN 0362-1340. S2CID 20720831. Archivado desde el original el 8 de mayo de 2020 . Consultado el 23 de abril de 2020 .
enlaces externos
- Archivo de artículos de investigación de Henry Baker en Internet Archive