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.
[edit] Publications
- (November 1997) John Barnes (Ed.): Ada 95 Rationale: The Language, the Standard Libraries. Berlin; New York: Springer. ISBN 3-540-63143-7.
- John Barnes (June 10, 1998). Programming in Ada 95, 2nd Edition, Addison-Wesley. ISBN 0-201-34293-6.
- John Barnes (June 15, 1997). High Integrity Ada: The SPARK Approach. Addison-Wesley. ISBN 0-201-17517-7.
- John Barnes (April 25, 2003). High Integrity Software: The SPARK Approach to Safety and Security. Addison-Wesley. ISBN 0-321-13616-0.