Science Fair Project Encyclopedia
John Barnes (computer scientist)
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
Publications
- Ada 95 Rationale: The Language, the Standard Libraries ISBN 3540631437
- Programming in Ada 95, Addison-Wesley, ISBN 0-201-34293-6
- High Integrity Ada: The Spark Approach, Addison-Wesley, ISBN 0201175177
- High Integrity Software: The SPARK Approach to Safety and Security, Addison-Wesley, ISBN 0-321-13616-0
Last updated: 06-04-2005 21:54:54
10-26-2009 08:16:03
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details