Ada 2005 Rationale: The Language, the Standard Libraries (Lecture Notes in Computer Science / Programming and Software Engineering) (Lecture Notes in Computer Science, 5020, Band 5020) - Softcover

Über die Autorin bzw. den Autor

Dr 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. The first ticket barrier system on the London Underground was an early example. 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 twelve books: RTL/2 Design and Philosophy (1976); Programming in Ada (1982); Programming in Ada 95 (1996); High Integrity Ada (1997); Ada 95 Rationale (1997); High Integrity Software (2003); Programming in Ada 2005 (2006); Ada 2005 Rationale (2008); Gems of Geometry (2009); SPARK (2012); Ada 2012 Rationale (2013); Programming in Ada 2012 (2014). "Programming in Ada" went through four editions and was translated into six languages.

Von der hinteren Coverseite

Ada 2005 is the latest version of the International Standard for the programming language Ada. Formally, it is an Amendment of ISO/IEC 8652:1995 (E) rather than a completely new standard. The primary goals for the new version were to enhance its capabilities particularly in those areas where its reliability and predictability are of great value. Accordingly, a number of intriguing and attractive ideas have been included and implemented in a coherent manner as appropriate to the level of perfection necessary for the diligent maintenance of a language standard.

The Ada 2005 Rationale describes not only the changes from Ada 95 but also the reason for the changes. It starts with an introduction providing a general overview and this is followed by seven chapters focusing on OOP; access types; structure and visibility; tasking and real time; exceptions, generics, etc.; the predefined library; and containers. The book concludes with an epilogue largely concerned with compatibility issues.