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