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

Джон Гилберт Прессли Барнс - британский ученый-компьютерщик, наиболее известный своей ролью в разработке и популяризации языка программирования 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 110742481X.