stringtranslate.com

Neil D.Jones

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

Publicaciones Seleccionadas

Referencias

  1. ^ 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
  2. ^ 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
  3. ^ 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
  4. ^ "Neil D. Jones". Asociación para Maquinaria de Computación . Consultado el 19 de julio de 2017 .