Editing John Barnes (computer scientist)

{{blp sources|date=March 2024}}
{{Short description|British computer scientist|bot=PearBOT 5}}
{{Use dmy dates|date=April 2018}}
{{Use British English|date=April 2018}}
{{Infobox scientist
| name = John Barnes
| image = <!-- Filename only, no "File:" prefix -->
| alt = 
| caption = 
| birth_name = John Gilbert Presslie Barnes
| birth_date = <!--{{birth date |19yy|mm|dd |df=yes}}-->
| birth_place = [[United Kingdom]]
| death_date = <!--{{death date and age |20yy|mm|dd |19yy|mm|dd |df=yes}} (death date then birth date)-->
| death_place = 
| death_cause = 
| resting_place = 
| resting_place_coordinates = <!--{{coord|LAT|LONG|type:landmark|display=inline,title}}-->
| other_names = 
| pronounce  = 
| citizenship = United Kingdom
| fields = [[Computer science]]
| workplaces = [[Imperial Chemical Industries]]<br />[[Wolfson College, Oxford]]
| patrons = 
| education = [[University of Cambridge]]
| thesis_title = <!--(or |thesis1_title = and |thesis2_title = )-->
| thesis_url = <!--(or |thesis1_url = and |thesis2_url = )-->
| thesis_year = <!--(or |thesis1_year = and |thesis2_year = )-->
| doctoral_advisor = <!--(or |doctoral_advisors = )-->
| academic_advisors = 
| doctoral_students = 
| notable_students = 
| known_for = Programming languages:<br />[[RTL/2]] [[ALGOL]]<br />[[Ada (programming language)|Ada]], Rendezvous mechanism
| influences = 
| influenced = 
| awards = 
| spouse = <!--(or |spouses = )-->
| children = 
| signature = <!-- Filename only -->
| signature_alt = 
| website = <!--{{URL|www.example.com}}-->
| footnotes = 
}}
'''John Gilbert Presslie Barnes''' is a British [[computer scientist]] best known for his role in developing and publicising the [[programming language]] [[Ada (programming language)|Ada]].<ref>{{cite web | url=https://podcasts.ox.ac.uk/byron-ada-programming-language | title=From Byron to the Ada Programming Language }}</ref> He is the primary inventor of and protagonist for the Ada Rendezvous mechanism.{{cn|date=March 2024}}

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 degree|honorary]] PhD from the [[University of York]] in 2006.

==Publications==

*{{cite book |last=Barnes |first=J.G.P. |date=October 1976 |title=RTL/ 2: Design and Philosophy |publisher=Heydon |location=London |isbn=978-0855012243}}
*{{cite book
 |last1=Barnes |first1=John |last2=Brosgol |first2=Ben
 |date=January 1995
 |title=Ada 95 Rationale: The Language, the Standard Libraries
 |publisher=[[Springer Science+Business Media|Springer]]
 |location=Berlin; New York
 |isbn=3-540-63143-7
 |url=http://www.adaic.com/standards/95rat/RAThtml/rat95-contents.html
 }}
*{{cite book
 |last=Barnes |first=John
 |date=1998-06-10
 |title=Programming in Ada 95
 |edition=2nd
 |publisher=[[Addison-Wesley]]
 |isbn=0-201-34293-6
 }}
*{{cite book
 |last=Barnes |first=John
 |date=1997-06-15
 |title=High Integrity Ada: The SPARK Approach
 |publisher=Addison-Wesley
 |isbn=0-201-17517-7
 |url=http://www.aw-bc.com/catalog/academic/product/0,1144,0201175177,00.html
 |access-date=17 November 2005
 |archive-url=https://web.archive.org/web/20050405050126/http://aw-bc.com/catalog/academic/product/0,1144,0201175177,00.html
 |archive-date=5 April 2005
 |url-status=dead
}}
*{{cite book
 |last=Barnes
 |first=John
 |date=2003-04-25
 |title=High Integrity Software: The SPARK Approach to Safety and Security
 |publisher=Addison-Wesley
 |isbn=0-321-13616-0
 |url=http://www.praxis-his.com/sparkada/sparkbook.asp
 |access-date=17 November 2005
 |archive-date=27 December 2005
 |archive-url=https://web.archive.org/web/20051227163244/http://www.praxis-his.com/sparkada/sparkbook.asp
 |url-status=dead
 }}
*{{cite book
 |last=Barnes |first=John
 |date=2006-06-30
 |title=Programming in Ada 2005
 |publisher=Addison Wesley
 |isbn=0-321-34078-7
 |url=http://www.pearsonhighered.com/educator/academic/product/0,,0321340787,00%2Ben-USS_01DBC.html}}
*{{cite book
 |last=Barnes |first=John
 |date=2014-08-11
 |title=Programming in Ada 2012
 |publisher=Cambridge University Press
 |isbn=978-1107424814 
 |url=http://www.cambridge.org/barnes}}
*{{cite book
 |last=Barnes |first=John
 |date=2022-05-19
 |title=Programming in Ada 2012 with a Preview of Ada 2022
 |publisher=Cambridge University Press
 |isbn=978-1009181341
 |url=http://www.cambridge.org/barnes}}

== References ==
{{Reflist}}

{{ALGOL programming}}
{{Authority control}}

{{DEFAULTSORT:Barnes, John}}
[[Category:Year of birth missing (living people)]]
[[Category:Living people]]
[[Category:British computer scientists]]
[[Category:Imperial Chemical Industries people]]
[[Category:Alumni of the University of Cambridge]]
[[Category:Fellows of Wolfson College, Oxford]]
[[Category:Ada (programming language)]]


{{UK-compu-bio-stub}}