John Barnes (computer scientist)

Short description: British computer scientist

John Barnes

Born|

John Gilbert Presslie Barnes

United Kingdom

Citizenship| United Kingdom
Education| University of Cambridge
Known for| Programming languages:
RTL/2 ALGOL
Ada, Rendezvous mechanism
Scientific career
Fields| Computer science
Institutions| Imperial Chemical Industries
Wolfson College, Oxford

John Gilbert Presslie Barnes is a British computer scientist best known for his role in developing and publicising the programming language Ada. He is the primary inventor of and protagonist for the Ada Rendezvous mechanism.

Barnes studied mathematics at University of Cambridge and later worked at Imperial Chemical Industries (ICI). He was an industrial fellow at Wolfson College, Oxford in the very late 1970s or early 1980s, most likely at the suggestion of Professor Tony Hoare.

Before working on the Ada design team, while at ICI, he designed and implemented a dialect of the language ALGOL, named Real-Time Language 2 (RTL/2) for real-time computing.

Barnes was awarded an honorary Doctor of Philosophy (Ph.D.) from the University of York in 2006.

## Publications

* Barnes, J.G.P. (October 1976). RTL/ 2: Design and Philosophy. London: Heydon. ISBN 978-0855012243.
* Barnes, John; Brosgol, Ben (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.
* Barnes, John (1998-06-10). Programming in Ada 95 (2nd ed.). Addison-Wesley. ISBN 0-201-34293-6.
* Barnes, John (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. Retrieved 17 November 2005.
* Barnes, John (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.
* Barnes, John (2006-06-30). Programming in Ada 2005. Addison Wesley. ISBN 0-321-34078-7. http://www.pearsonhighered.com/educator/academic/product/0,,0321340787,00+en-USS_01DBC.html.
* Barnes, John (2014-08-11). Programming in Ada 2012. Cambridge University Press. ISBN 978-1107424814. http://www.cambridge.org/barnes.
* Barnes, John (2022-05-19). Programming in Ada 2012 with a Preview of Ada 2022. Cambridge University Press. ISBN 978-1009181341. http://www.cambridge.org/barnes.

* v
* t
* e

ALGOL programming

Implementations|

| Technical
standards|

* ALGOL 58
* ALGOL 60
* ALGOL 68

|

Dialects|

* ABC ALGOL
* ALCOR
* ALGOL N
* ALGOL W
* ALGOL X
* Burroughs ALGOL
* Dartmouth ALGOL 30
* DASK ALGOL
* DG/L
* Elliott ALGOL
* Executive Systems Problem Oriented Language (ESPOL)
* Kidsgrove Algol
* Mary
* S-algol, PS-algol, Napier88
* Small Machine ALGOL Like Language (SMALL)
* SMIL ALGOL

Community|

| Organizations|

| Professional
associations|

* ALCOR Group
* Association for Computing Machinery (ACM)
* International Federation for Information Processing (IFIP) IFIP Working Group 2.1

|

Business|

* Burroughs Corporation
* Elliott Brothers
* Regnecentralen

Education|

* Case Institute of Technology
* University of Edinburgh
* University of St Andrews
* Manchester University
* Massachusetts Institute of Technology (MIT)
* Society of Applied Mathematics and Mechanics (GAMM)

People|

| ALGOL 58|

* John Backus
* Hermann Bottenbruch
* Charles Katz
* Alan Perlis
* Heinz Rutishauser
* Klaus Samelson
* Joseph Henry Wegstein

|

ALGOL 60|

* Backus+
* Roland Carl Backhouse
* Friedrich L. Bauer
* Richard Bird
* Stephen R. Bourne
* Robert Dewar
* Edsger W. Dijkstra
* Andrey Ershov
* Robert W. Floyd
* Jeremy Gibbons
* Julien Green
* David Gries
* Eric Hehner
* Tony Hoare
* Katz+
* Peter Landin
* Tom Maibaum
* Conor McBride
* John McCarthy
* Carroll Morgan
* Peter Naur
* Maurice Nivat
* Perlis+
* Brian Randell
* Rutishauser
* Samelson+
* Jacob T. Schwartz
* Micha Sharir
* David Turner
* Bernard Vauquois
* Eiiti Wada
* Wegstein+
* Adriaan van Wijngaarden
* Michael Woodger
* \+ = full name and link in prior ALGOL version above

ALGOL 68|

* Bauer+
* Dijkstra+
* Gerhard Goos
* Hoare+
* Cornelis H. A. Koster
* Peter Landin
* Charles H. Lindsey
* Barry J. Mailloux
* McCarthy+
* Lambert Meertens
* Naur+
* John E. L. Peck
* Willem van der Poel
* Brian Randell
* Douglas T. Ross
* Samelson+
* Michel Sintzoff
* van Wijngaarden
* Niklaus Wirth
* Woodger+
* Nobuo Yoneda
* \+ = full name and link in prior ALGOL version above

* Hal Abelson
* Tony Brooker
* Jørn Jensen
* Ron Morrison
* John C. Reynolds

Other|

* ALGOL Bulletin
* Jensen's Device

* Category
* Category

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/John Barnes (computer scientist). Read more

|

Retrieved from "https://handwiki.org/wiki/index.php?title=Biography:John_Barnes_(computer_scientist)&oldid=359002"
*[v]: View this template
*[t]: Discuss this template
*[e]: Edit this template