Джон Барнс (ученый-компьютерщик) - John Barnes (computer scientist)

Джон Барнс
Родившийся
Джон Гилберт Прессли Барнс

Гражданство Великобритания
Образование Кембриджский университет
Известен Языки программирования:
RTL / 2 ALGOL
Ada , механизм рандеву
Научная карьера
Поля Информатика
Учреждения Imperial Chemical Industries
Wolfson College, Оксфорд

Джон Гилберт Прессли Барнс - британский ученый-компьютерщик, наиболее известный своей ролью в разработке и популяризации языка программирования Ada . Он является основным изобретателем и главным героем механизма Ада Рандеву.

Барнс изучал математику в Кембриджском университете, а затем работал в Imperial Chemical Industries (ICI). Он работал научным сотрудником в Вольфсоновском колледже в Оксфорде в самом конце 1970-х или начале 1980-х, скорее всего, по предложению профессора Тони Хора .

До работы в команде разработчиков Ada, в то время как в ICI, он разработал и реализовал диалект языка ALGOL , названный Real-Time Language 2 ( RTL / 2 ) для вычислений в реальном времени .

Барнс был удостоен звания почетного доктора философии (Ph.D.) Йоркского университета в 2006 году.

Публикации

  • Барнс, JGP (октябрь 1976 г.). RTL / 2: Дизайн и философия . Лондон: Хейдон. ISBN 978-0855012243.
  • Барнс, Джон; Бросголь, Бен (январь 1995 г.). Обоснование Ada 95: язык, стандартные библиотеки . Берлин; Нью-Йорк: Спрингер . ISBN 3-540-63143-7.
  • Барнс, Джон (10 июня 1998 г.). Программирование на Аде 95 (2-е изд.). Эддисон-Уэсли . ISBN 0-201-34293-6.
  • Барнс, Джон (15 июня 1997 г.). Ада высокой целостности: подход SPARK . Эддисон-Уэсли. ISBN 0-201-17517-7. Архивировано из оригинала 5 апреля 2005 года . Источник +17 ноября 2005 .
  • Барнс, Джон (25 апреля 2003 г.). Программное обеспечение высокой степени интеграции: подход SPARK к безопасности . Эддисон-Уэсли. ISBN 0-321-13616-0.
  • Барнс, Джон (30 июня 2006 г.). Программирование на Аде 2005 . Эддисон Уэсли. ISBN 0-321-34078-7.
  • Барнс, Джон (11 августа 2014 г.). Программирование на Аде 2012 . Издательство Кембриджского университета. ISBN 978-1107424814.