informático estadounidense
Neil D. Jones (22 de marzo de 1941, Centralia, Illinois , EE. UU. - 27 de marzo de 2023, Rungsted , Dinamarca ) fue un informático estadounidense . Fue profesor emérito de informática en la Universidad de Copenhague .
Su trabajo abarcó tanto los lenguajes de programación como la teoría de la computación. Dentro de los lenguajes de programación, fue particularmente conocido por su trabajo en evaluación parcial y por su trabajo pionero tanto en el análisis de flujo de datos como en el análisis de flujo de control [1] y el análisis de terminación . [2]
Dentro de la teoría de la computación, estuvo entre los pioneros del estudio de las reducciones del espacio logarítmico y la completitud P. [3]
Neil D. Jones fue Caballero de la Orden de Dannebrog (desde 1998) y también miembro de la Academia Europaea (desde 1999). Fue miembro de la Association for Computing Machinery en 1998 por sus "destacadas contribuciones a la compilación dirigida por la semántica, especialmente la evaluación parcial, y a la teoría de la computación, los modelos formales y su realización práctica". [4]
enlaces externos
- pagina de inicio
- Información biográfica
Publicaciones Seleccionadas
- Neil D. Jones, Carsten K. Gomard y Peter Sestoft: Libro de evaluación parcial y generación automática de programas (1993), texto completo disponible en línea.
- Neil D. Jones, Computability and Complexity from a Programming Perspective (1997) Libro, publicado por MIT Press, el texto en línea es una versión revisada y corregida.
Referencias
- ^ Jones, Neil D. (1981), "Análisis de flujo de expresiones lambda", Autómatas, lenguajes y programación , Lecture Notes in Computer Science, vol. 115, págs. 114-128, doi :10.1007/3-540-10843-2_10, ISBN 978-3-540-10843-6
- ^ Chin Soon Lee, Neil D. Jones y Amir M. Ben-Amram (2001), "El principio de cambio de tamaño para la terminación del programa", Principios de los lenguajes de programación , 36 (3): 81–92, doi :10.1145/373243.360210
- ^ Neil D. Jones y William T. Laaser (1974), "Problemas completos para el tiempo polinómico determinista", Simposio sobre teoría de la computación : 40–46, doi :10.1145/800119.803883, S2CID 12251817
- ^ "Neil D. Jones". Asociación para Maquinaria de Computación . Consultado el 19 de julio de 2017 .