词条 | 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
| 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
| author = John Barnes | date = 1998-06-10 | title = Programming in Ada 95 | edition = 2nd | publisher = Addison-Wesley | isbn = 0-201-34293-6
| 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
| 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
| 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}}
| 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条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。