John Barnes (computer scientist)
From Wikipedia, the free encyclopedia
John Gilbert Presslie Barnes is a British computer scientist best known for his role in developing and publicising the Ada programming language.
Barnes studied mathematics at Cambridge University and later worked at Imperial Chemical Industries. He was an industrial fellow at Wolfson College, Oxford in the very late 1970s or early 1980s, most likely at the suggestion of Prof. C. A. R. Hoare.
He is the primary inventor of and protagonist for the Ada Rendezvous mechanism.
Barnes was awarded an honorary Doctorate from University of York in 2006.
[edit] Publications
- John Barnes, Ben Brosgol (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.
- John Barnes (1998-06-10). Programming in Ada 95 (2nd Edition ed.). Addison-Wesley. ISBN 0-201-34293-6.
- John Barnes (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.
- John Barnes (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.
- John Barnes (2006-06-30). Programming in Ada 2005. Addison Wesley. ISBN 0-32-134078-7. http://www.pearsonhighered.com/educator/academic/product/0,,0321340787,00%2Ben-USS_01DBC.html.
 |
This article on a computer specialist of the United Kingdom is a stub. You can help Wikipedia by expanding it. |
