John Barnes (computer scientist)
- 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.
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
*cite book
author = Laurent Guerby
editor = John Barnes (Ed.)
year = 1997
month = November
title = Ada 95 Rationale: The Language, the Standard Libraries
publisher = Springer
location = Berlin; New York
id = ISBN 3-540-63143-7
url = http://www.adaic.com/standards/95rat/RAThtml/rat95-contents.html
*cite book
author = John Barnes
date = 1998-06-10
title = Programming in Ada 95
edition = 2nd Edition
publisher = Addison-Wesley
id = ISBN 0-201-34293-6
*cite book
author = John Barnes
date = 1997-06-15
title = High Integrity Ada: The SPARK Approach
publisher = Addison-Wesley
id = ISBN 0-201-17517-7
url = http://www.aw-bc.com/catalog/academic/product/0,1144,0201175177,00.html
*cite book
author = John Barnes
date = 2003-04-25
title = High Integrity Software: The SPARK Approach to Safety and Security
publisher = Addison-Wesley
id = ISBN 0-321-13616-0
url = http://www.praxis-his.com/sparkada/sparkbook.asp
*cite book
title = Programming in Ada 2005
author = John Barnes
date = 2006-06-30
publisher = Addison Wesley
isbn = 0-32-134078-7
url = http://www.pearsonhighered.com/educator/academic/product/0,,0321340787,00%2Ben-USS_01DBC.html |
Wikimedia Foundation.
2010.
Look at other dictionaries:
John Barnes — may refer to:portsmen* John Barnes (Australian rules footballer) (born 1969), Australian Rules football player * John Barnes (baseball) (born 1976), former Major League Baseball player * John Barnes (cricketer) (1916 ndash;1943), Irish cricketer… … Wikipedia
List of Newcastle University people — This article is a list of people who spent time at Newcastle University, Newcastle upon Tyne, UK, as either a student or teacher. This is an incomplete list, which may never be able to satisfy particular standards for completeness. You can help… … Wikipedia
Index of chess articles — Contents 1 Books 2 General articles 2.1 0–9 2.2 A … Wikipedia
Stars and planetary systems in fiction — The planetary systems of stars other than the Sun and the Solar System are a staple element in much science fiction. Contents 1 Overview 1.1 The brightest stars … Wikipedia
List of English people — This is a partial list of English people of note and of some notable individuals born in England, alphabetically within categories.Actors and actresses*Dame Julie Andrews (born 1935) *Naveen Andrews (born 1969) *Gabrielle Anwar (born 1970) *Rowan … Wikipedia
List of Amherst College people — This is a list of some notable people affiliated with Amherst College.Notable alumniCollege founders and presidents*Edward Jones 1826, Principal of forerunner of Fourah Bay College (the predecessor of the University of Sierra Leone) (Africa)… … Wikipedia
List of Cornell University faculty — This list of Cornell University faculty includes notable current and former instructors and administrators of Cornell University, an Ivy League university located in Ithaca, New York. Cornell s faculty for the 2005–06 academic year included three … Wikipedia
List of people from Michigan — A list of notable people from the U.S. state of Michigan. Bolding indicates places in Michigan. People from Michigan are sometimes referred to as Michiganders, Michiganians, or more rarely as Michiganites. Actors, entertainers and… … Wikipedia
List of University of Washington people — This page lists noted students, alumni and faculty members of the University of Washington.Notable UW students and alumni Nobel Laureates*Linda B. Buck (BS 1975, BS 1975) Physiology and Medicine, 2004 *George Hitchings (1927, 1928) Physiology and … Wikipedia
1977 — This article is about the year 1977. For other uses, see 1977 (disambiguation). Millennium: 2nd millennium Centuries: 19th century – 20th century – 21st century Decades: 1940s 1950s 1960s – 1970s – … Wikipedia
