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

Publications

  • Ada 95 Rationale: The Language, the Standard Libraries ISBN 3540631437
  • Programming in Ada 95, Addison-Wesley, ISBN 0-201-34293-6
  • High Integrity Ada: The Spark Approach, Addison-Wesley, ISBN 0201175177
  • High Integrity Software: The SPARK Approach to Safety and Security, Addison-Wesley, ISBN 0-321-13616-0
Barnes, John

 

<< PreviousWord BrowserNext >>
wharram percy
riism
paul klebnikov
harvard kyoto
chorea
oikoumene
chorea (disease)
chorea (dance)
bert jansch
guildford four
lewis lichtenstein strauss
robert schwarz strauss
ernst wollweber
robert strausz hupe
reichsrat (germany)
spice mix
national power unity
ernst streeruwitz
spice up your life
history of technology
chili powder
robert william wilcox
crustation
fritz theilen
say you'll be there
reichsrat (austria)
national order of quebec
john brashear
that's incredible!
taro hakase
cecrops ii
sandpainting
wolfgang schmieder
viva forever
haminoeoidea
pandion i
la juive
pandion ii
who do you think you are
beijing railway station
list of current canadian lieutenant governors and commissioners
nightlife in reykjavk
list of fighting fantasy game books
unusual types of gramophone record