请输入您要查询的百科知识:

 

词条 John Barnes (computer scientist)
释义

  1. Publications

{{Use dmy dates|date=April 2018}}{{Use British English|date=April 2018}}

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

  • {{cite book|author=J.G.P. Barnes|title=RTL/ 2: Design and Philosophy|date=October 1976|publisher=Heydon|location=London|isbn=978-0855012243}}
  • {{cite book

| author = John Barnes, Ben Brosgol
|date=January 1995
| title = Ada 95 Rationale: The Language, the Standard Libraries
| publisher = Springer
| location = Berlin; New York
| 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
| publisher = Addison-Wesley
| isbn = 0-201-34293-6
  • {{cite book

| author = John Barnes
| 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
  • {{cite book

| author = John Barnes
| 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
  • {{cite book

| title = Programming in Ada 2005
| author = John Barnes
| date = 2006-06-30
| 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

| title = Programming in Ada 2012
| author = John Barnes
| date = 2014-08-11
| publisher = Cambridge University Press
| isbn = 110742481X
| url = http://www.cambridge.org/barnes}}{{authority control}}{{DEFAULTSORT:Barnes, John}}{{UK-compu-bio-stub}}

7 : Year of birth missing (living people)|Living people|British computer scientists|Imperial Chemical Industries people|Alumni of the University of Cambridge|Fellows of Wolfson College, Oxford|Ada (programming language)

随便看

 

开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。

 

Copyright © 2023 OENC.NET All Rights Reserved
京ICP备2021023879号 更新时间:2024/9/21 5:52:16