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

Джон Барнс
Рожденный	Джон Гилберт Прессли Барнс Великобритания
Гражданство	Великобритания
Образование	Кембриджский университет
Известный	Языки программирования: РТЛ/2 АЛГОЛ Есть механизм рандеву.
Научная карьера
Поля	Информатика
Учреждения	Имперская химическая промышленность Колледж Вольфсона, Оксфорд

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

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

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

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

Публикации

• Барнс, JGP (октябрь 1976 г.). RTL/2: Дизайн и философия . Лондон: Хейдон. ISBN  978-0855012243 .
• Барнс, Джон; Бросгол, Бен (январь 1995 г.). Обоснование Ada 95: язык, стандартные библиотеки . Берлин; Нью-Йорк: Спрингер . ISBN  3-540-63143-7 .
• Барнс, Джон (10 июня 1998 г.). Программирование на Ada 95 (2-е изд.). Аддисон-Уэсли . ISBN  0-201-34293-6 .
• Барнс, Джон (15 июня 1997 г.). Ada высокой целостности: подход 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 .
• Барнс, Джон (19 мая 2022 г.). Программирование на Ada 2012 с предварительной версией Ada 2022 . Издательство Кембриджского университета. ISBN  978-1009181341 .