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

Barnes, John

Softcover

ISBN 10: 3642452094 ISBN 13: 9783642452093

Verlag: Springer, 2013

Inhaltsangabe

Ada 2012 is the latest version of the international standard for the programming language Ada. It is designated ISO/IEC 8652:2012 (E) and is a new edition replacing the 2005 version. The primary goals for the new version were to further enhance its capabilities particularly in those areas where its reliability and predictability are of great value. Many important new features have been included such as those defining dynamic contracts and for handling multiprocessors and are integrated within the existing language framework in an elegant and coherent manner. The Ada 2012 Rationale describes not only the changes from Ada 2005 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 contracts and aspects; extended expressions; structure and visibility; tasking and real time; iterators and pools; predefined library and containers. The book concludes with an epilogue largely concerned with compatibility issues.

Über diesen Titel

Ü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.

Dr Barnes has published many papers and given many lectures and tutorials on various aspects of programming. Although moving towards retirement he still gives occasional lectures including lectures for postgraduate courses. He has recently rediscovered an interest in mathematics and has given a number of popular courses at the Universities of Reading and Oxford as part of their Continuing Education programs; Gems of Geometry (now in a second edition) is based on one set of these courses.

Details zur Ausgabe

• Verlag: Springer
• Erscheinungsdatum: 2013
• Sprache: Englisch
• ISBN 10: 3642452094
• ISBN 13: 9783642452093
• Einband: Taschenbuch
• Anzahl der Seiten: 228
• Kontakt zum Hersteller: ProductSafety@springernature.com; ProductSafety@springernature.com; ; Poststr. 9; Darmstadt; 64293; Deutschland