John Barnes (cientista da computação) - John Barnes (computer scientist)

John Barnes
Nascer
John Gilbert Presslie Barnes

Cidadania Reino Unido
Educação Universidade de Cambridge
Conhecido por Linguagens de programação:
RTL / 2 ALGOL
Ada , mecanismo Rendezvous
Carreira científica
Campos Ciência da Computação
Instituições Imperial Chemical Industries
Wolfson College, Oxford

John Gilbert Presslie Barnes é um cientista da computação britânico mais conhecido por seu papel no desenvolvimento e divulgação da linguagem de programação Ada . Ele é o principal inventor e protagonista do mecanismo Ada Rendezvous.

Barnes estudou matemática na Universidade de Cambridge e mais tarde trabalhou na Imperial Chemical Industries (ICI). Ele era um bolsista industrial no Wolfson College, Oxford, no final dos anos 1970 ou início dos anos 1980, provavelmente por sugestão do Professor Tony Hoare .

Antes de trabalhar na equipe de design da Ada, enquanto estava no ICI, ele projetou e implementou um dialeto da linguagem ALGOL , denominado Real-Time Language 2 ( RTL / 2 ) para computação em tempo real .

Barnes recebeu o título de Doutor honorário em Filosofia (Ph.D.) da Universidade de York em 2006.

Publicações

  • Barnes, JGP (outubro de 1976). RTL / 2: Design e filosofia . Londres: Heydon. ISBN 978-0855012243.
  • Barnes, John; Brosgol, Ben (janeiro de 1995). Ada 95 Justificativa: The Language, the Standard Libraries . Berlim; Nova York: Springer . ISBN 3-540-63143-7.
  • Barnes, John (10 de junho de 1998). Programação em Ada 95 (2ª ed.). Addison-Wesley . ISBN 0-201-34293-6.
  • Barnes, John (15 de junho de 1997). Ada de alta integridade: a abordagem SPARK . Addison-Wesley. ISBN 0-201-17517-7. Arquivado do original em 5 de abril de 2005 . Página visitada em 17 de novembro de 2005 .
  • Barnes, John (25 de abril de 2003). Software de alta integridade: a abordagem SPARK para proteção e segurança . Addison-Wesley. ISBN 0-321-13616-0.
  • Barnes, John (30 de junho de 2006). Programação em Ada 2005 . Addison Wesley. ISBN 0-321-34078-7.
  • Barnes, John (11 de agosto de 2014). Programação em Ada 2012 . Cambridge University Press. ISBN 978-1107424814.