About the author
Mr Barnes' principal achievements have been in the area of computer programming language design.
He designed the language RTL/2 whilst with ICI. This was widely used in the 1970s and 80s for process control in the UK, the Netherlands and South Africa. It still lingers in use in a number of systems (eg the Thames Barrier).
He was a member of the Ada language design teams. Ada is widely used in safety critical applications such as those found in defence systems generally, avionics, air traffic control and railroad signalling.
He has published eight books:
- RTL/2 Design and Philosophy, Heyden, 1976.
- Programming in Ada, Addison-Wesley, 1982.
- Programming in Ada 95, Addison-Wesley, 1996.
- High Integrity Ada, Addison-Wesley, 1997.
- Ada 95 Rationale, Springer-Verlag, 1997.
- High Integrity Software, Addison-Wesley, 2003.
- Programming in Ada 2005, Addison-Wesley, 2006.
- Ada 2005 Rationale, Springer-Verlag, 2008.
Programming in Ada went through four editions and was translated into six other languages. Revised versions are entitled Programming in Ada 95 and Programming in Ada 2005. Combined total sales of these books are over 150,000.
Mr Barnes has given many lectures and tutorials on various aspects of programming. Although moving towards retirement he still gives occasional lectures including lectures for postgraduate courses at the University of York.
He has published many papers, this list gives just two from his early career in ICI, a milestone paper when Ada emerged, and a pair of recent reflective papers.
- An algorithm for solving non-linear equations based on the secant method, The Computer Journal, vol 8, no 1 (April 1965).
- A KDF9 Algol list-processing scheme, The Computer Journal, vol 8, no 2 (July 1965).
- An overview of Ada, Software Practice and Experience, vol 10, pp851-887 (1980).
- Half a century of programming and not much progress, Software Focus, vol 2, no 1 (2001).
- Half a century of programming and a spark of light, Software Focus, vol 2, no 2 (2001).
Recently, he has rediscovered an interest in mathematics and has given a number of courses at the University of Reading as part of their Continuing Education program.
In the press
From the reviews:
“The content is fairly standard stuff: we learn about the golden ratio, explore Platonic and Archimedian shapes and solids in two and three dimensions … . Each chapter ends with a detailed description of recommended further reading … . The book is illustrated with vibrant colour figures, some produced in stereo … . And there are plenty of exercises and suggestions which encourage you to make or colour in shapes and patterns … . a book designed to be dipped into, explored, enjoyed and savoured.” (Anna Faherty, + Plus Magazine, April, 2011)
“This book demonstrates in lively and entertaining way that the geometry is in fact full of beauty and fascination. … final a lot of interesting and remarkable supplements and appendices.” (Erhard Quaisser, Zentralblatt MATH, Vol. 1195, 2010)
“The aim is to make subjects … accessible and appropriate to a lay audience. … In many ways this book is very engaging. … The text is peppered with appropriate diagrams which makes the narrative much easier to follow. The range of topics is impressive … . this is certainly a labour of love and it has many excellent features. … I am sure this would be an excellent addition to the school library or a prize for eager students.” (Gerry Leversha, The Mathematical Gazette, Vol. 95 (532), March, 2011)