John Barnes (computer scientist)

From Free net encyclopedia

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.

Publications

• {{cite book

|    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 = June 10, 1998
|     title = Programming in Ada 95
|   edition = 2nd Edition
| publisher = Addison-Wesley
|        id = ISBN 0-201-34293-6
}}

• {{cite book

|    author = John Barnes
|      date = June 15, 1997
|     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 = April 25, 2003
|     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
}}

Template:Compu-bio-stub