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.

Prior to working on the Ada design team he designed and implemented the programming language RTL/2. 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.

Publications
  • J.G.P. Barnes (October 1976). RTL/ 2: Design and Philosophy. London: Heydon. ISBN 978-0855012243.
  • John Barnes, Ben Brosgol (January 1995). Ada 95 Rationale: The Language, the Standard Libraries. Berlin; New York: Springer. ISBN 3-540-63143-7.
  • John Barnes (10 June 1998). Programming in Ada 95 (2nd ed.). Addison-Wesley. ISBN 0-201-34293-6.
  • John Barnes (15 June 1997). High Integrity Ada: The SPARK Approach. Addison-Wesley. ISBN 0-201-17517-7. Archived from the original on 5 April 2005. Retrieved 17 November 2005.
  • John Barnes (25 April 2003). High Integrity Software: The SPARK Approach to Safety and Security. Addison-Wesley. ISBN 0-321-13616-0.
  • John Barnes (30 June 2006). Programming in Ada 2005. Addison Wesley. ISBN 0-321-34078-7.
  • John Barnes (11 August 2014). Programming in Ada 2012. Cambridge University Press. ISBN 110742481X.



gollark: tio!debug
gollark: ```c#define let int#define var char#include <stdlib.h>#include <string.h>#include <stdio.h>let main() { var *j = 0; for (let i = 0; i < 10000; i++) { j = malloc(i); strcpy(j, "bees"); free(j); } var* lyricLy_bad = malloc(3); printf("%s", lyricLy_bad);}```
gollark: Hmm, it does not work, thus C bad‽
gollark: tio!debug
gollark: ```c#define let int#define var char#include <stdlib.h>#include <string.h>#include <stdio.h>let main() { for (let i = 0; i < 10000; i++) { var* j = malloc(i); strcpy(j, "bees"); free(j); } var* lyricLy_bad = malloc(3); printf("%s", lyricLy_bad);}```
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.