John Gilbert Presslie Barnes es un científico informático británico mejor conocido por su papel en el desarrollo y publicidad del lenguaje de programación Ada . Es el inventor principal y protagonista del mecanismo Ada Rendezvous.
John Barnes | |
---|---|
Nació | John Gilbert Presslie Barnes |
Ciudadanía | Reino Unido |
Educación | Universidad de Cambridge |
Conocido por | Lenguajes de programación: RTL / 2 ALGOL Ada , mecanismo de encuentro |
Carrera científica | |
Campos | Ciencias de la Computación |
Instituciones | Imperial Chemical Industries Wolfson College, Oxford |
Barnes estudió matemáticas en la Universidad de Cambridge y luego trabajó en Imperial Chemical Industries (ICI). Fue miembro industrial del Wolfson College, Oxford, a finales de la década de 1970 o principios de la de 1980, probablemente por sugerencia del profesor Tony Hoare .
Antes de trabajar en el equipo de diseño de Ada, mientras estaba en ICI, diseñó e implementó un dialecto del lenguaje ALGOL , llamado Real-Time Language 2 ( RTL / 2 ) para computación en tiempo real .
Barnes recibió un Doctorado honorario en Filosofía (Ph.D.) de la Universidad de York en 2006.
Publicaciones
- Barnes, JGP (octubre de 1976). RTL / 2: Diseño y Filosofía . Londres: Heydon. ISBN 978-0855012243.
- Barnes, John; Brosgol, Ben (enero de 1995). Ada 95 Justificación: El lenguaje, las bibliotecas estándar . Berlina; Nueva York: Springer . ISBN 3-540-63143-7.
- Barnes, John (10 de junio de 1998). Programación en Ada 95 (2ª ed.). Addison-Wesley . ISBN 0-201-34293-6.
- Barnes, John (15 de junio de 1997). Ada de alta integridad: el enfoque SPARK . Addison-Wesley. ISBN 0-201-17517-7. Archivado desde el original el 5 de abril de 2005 . Consultado el 17 de noviembre de 2005 .
- Barnes, John (25 de abril de 2003). Software de alta integridad: el enfoque SPARK para la seguridad y la protección . Addison-Wesley. ISBN 0-321-13616-0.
- Barnes, John (30 de junio de 2006). Programación en Ada 2005 . Addison Wesley. ISBN 0-321-34078-7.
- Barnes, John (11 de agosto de 2014). Programación en Ada 2012 . Prensa de la Universidad de Cambridge. ISBN 110742481X.