John Barnes (Computer Scientist)

John Gilbert Presslie Barnes is a British computer scientist best known for his role in developing and publicising the programming language Ada. He is the primary inventor of and protagonist for the Ada Rendezvous mechanism.

Barnes studied mathematics at University of Cambridge and later worked at Imperial Chemical Industries (ICI). He was an industrial fellow at Wolfson College, Oxford in the very late 1970s or early 1980s, most likely at the suggestion of Professor Tony Hoare.

Before working on the Ada design team, while at ICI, he designed and implemented a dialect of the language ALGOL, named Real-Time Language 2 (RTL/2) for real-time computing.

Barnes was awarded an honorary Doctor of Philosophy (Ph.D.) from the University of York in 2006.

Publications

• Barnes, J.G.P. (October 1976). RTL/ 2: Design and Philosophy. London: Heydon. ISBN 978-0855012243. 
• Barnes, John; Brosgol, Ben (January 1995). Ada 95 Rationale: The Language, the Standard Libraries. Berlin; New York: Springer. ISBN 3-540-63143-7. http://www.adaic.com/standards/95rat/RAThtml/rat95-contents.html. 
• Barnes, John (1998-06-10). Programming in Ada 95 (2nd ed.). Addison-Wesley. ISBN 0-201-34293-6. 
• Barnes, John (1997-06-15). High Integrity Ada: The SPARK Approach. Addison-Wesley. ISBN 0-201-17517-7. http://www.aw-bc.com/catalog/academic/product/0,1144,0201175177,00.html. Retrieved 17 November 2005. 
• Barnes, John (2003-04-25). High Integrity Software: The SPARK Approach to Safety and Security. Addison-Wesley. ISBN 0-321-13616-0. http://www.praxis-his.com/sparkada/sparkbook.asp. 
• Barnes, John (2006-06-30). Programming in Ada 2005. Addison Wesley. ISBN 0-321-34078-7. http://www.pearsonhighered.com/educator/academic/product/0,,0321340787,00+en-USS_01DBC.html. 
• Barnes, John (2014-08-11). Programming in Ada 2012. Cambridge University Press. ISBN 978-1107424814. http://www.cambridge.org/barnes. 
• Barnes, John (2022-05-19). Programming in Ada 2012 with a Preview of Ada 2022. Cambridge University Press. ISBN 978-1009181341. http://www.cambridge.org/barnes. 

0.00 (0 votes) Original source: https://en.wikipedia.org/wiki/John Barnes (computer scientist). Read more