George E. Collins (10 de enero de 1928 en Stuart, Iowa - 21 de noviembre de 2017 en Madison, Wisconsin ) [1] fue un matemático e informático estadounidense . Es el inventor de la recolección de basura por recuento de referencias [G60] [2] y del método de eliminación de cuantificadores por descomposición algebraica cilíndrica . [G75] [3]
Recibió su doctorado en la Universidad de Cornell en 1955. [4] Trabajó en IBM , la Universidad de Wisconsin-Madison (1966-1986), la Universidad Estatal de Ohio , RISC-Linz , la Universidad de Delaware y la Universidad Estatal de Carolina del Norte . [1]
Publicaciones Seleccionadas
G60. | George E. Collins: un método para superponer y borrar listas, Commun. ACM, volumen 3, número 12, 1960. |
G75. | George E. Collins: Eliminación de cuantificadores para la teoría elemental de campos cerrados reales por descomposición algebraica cilíndrica, Segunda GI Conf. Teoría de los autómatas y lenguajes formales, Springer LNCS 33, 1975. |
Referencias
- ^ a b "In Memoriam: profesor emérito George E. Collins" . Archivado desde el original el 9 de septiembre de 2018 . Consultado el 12 de diciembre de 2017 .
- ^ Jones, Richard; Lins, Rafael (1996), Recolección de basura: algoritmos para la gestión automática de memoria dinámica , Wiley, p. 40, ISBN 9780471941484,
La primera técnica de recuento de referencias, aunque engorrosa y propensa a errores, fue descrita por J. Gelertner, JR Hansen y CL Gerberich [Gelernter et al, 1960], pero el algoritmo de recuento de referencias estándar se debe a George Collins [Collins, 1960] .
- ^ Caviness, Bob F .; Johnson, Jeremy R., eds. (1998), Eliminación de cuantificadores y descomposición algebraica cilíndrica , Springer, p. v, ISBN 9783211827949,
Se llevó a cabo un simposio sobre Eliminación de Cuantificadores y Descomposición Algebraica Cilíndrica del 6 al 8 de octubre de 1993 ... el simposio celebró el 20 aniversario del descubrimiento de George Collins de la Descomposición Algebraica Cilíndrica (CAD) como un método de Eliminación de Cuantificadores (QE) para el teoría elemental de los campos cerrados reales (Collins 1973b), y se dedicó a los muchos avances en este tema desde el descubrimiento de Collins.
- ^ http://www.genealogy.ams.org/id.php?id=75933