Bibliography
Published online by Cambridge University Press: 05 May 2022
Summary
A summary is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.
- Type
- Chapter
- Information
- Programming in Ada 2012 with a Preview of Ada 2022 , pp. 951 - 952Publisher: Cambridge University PressPrint publication year: 2022
References
bibliography
Christine, Ausnit-Hood, Johnson, Kent A, Pettit, Robert G, and Opdahl, Steven B (1995). Ada 95 Quality and Style. LNCS 1344, Springer This is a valuable guide to writing good Ada programs. Topics covered include portability and reuse as well as stylistic issues. Most of it also applies to Ada 2012 and Ada 2022.Google Scholar
Barnes, John (2013). Ada 2012 Rationale. LNCS 8338, Springer-Verlag These are the Rationales which were written as part of the standardization process for Ada 2005 and Ada 2012.Google Scholar
John Barnes with Altran Praxis (2012). SPARK – The proven approach to High Integrity Software. Altran Praxis This describes SPARK 2005 which is based on a subset of Ada and includes annotations as Ada comments that enable tools to analyse a program for correctness.Google Scholar
Barnes, John with Brosgol, Ben (2015). Safe and Secure Software, an Invitation to Ada 2012. AdaCore This handy booklet describes aspects of Ada that contribute to safe programming. Topics range from Safe Syntax to Safe Concurrency and conclude with Certified Safe with Spark.Google Scholar
Booch, Grady (1986). Software Engineering with Ada, 2nd edn. Benjamin Cummings This well known classic was one of the first books to discuss how to design programs inGoogle Scholar
Ada; it is especially famed for object oriented programming.Google Scholar
Burns, Alan and Wellings, Andy (2007). Concurrent and Real-Time programming in Ada 2005. Cambridge University Press This is a very complete account of tasking in Ada 2005 and contains many canonical examples which explore all aspects of concurrency in considerable depth. It includes comprehensive coverage of both the Real-Time Systems annex and the Distributed Systems annex as well as the Ravenscar tasking profile.Google Scholar
Burns, Alan and Wellings, Andy (2016). Analysable Real-Time Systems Programmed in Ada. Amazon Books This book provides an in-depth analysis of the requirements for designing, verifying, and implementing real-time, embedded, cyber-physical systems; and discusses how these requirements are supported by the Ada programming language.Google Scholar
McCormick, John and Chapin, Peter (2015). Building High Integrity Applications with SPARK. Cambridge University Press This is a good introduction to SPARK 2014 which is integrated into Ada 2012 using aspects such as pre- and postconditions and other assertions. The book targets students and programmers who are new to formal software verification.Google Scholar
ISO/IEC TR 24718:2004 (2004). Guide for the use of the Ada Ravenscar profile in high integrity systems. This ISO technical report describes the motivation for and how to use the Ravenscar profile.Google Scholar
Tucker Taft, S., Duff, Robert A., Brukardt, Randall L., Plödereder, Erhard, Leroy, Pascal, Schonberg, Edmond eds (2014). Ada 2012 Reference Manual. LNCS 8339, Springer This is the Ada 2012 standard in a single volume.Google Scholar
www.ada-europe.org Ada-Europe is an interest group on Ada. Its activities include an annual conference and the publication of the quarterly Ada User Journal. See for example the excellent paper entitled An Overview of Ada 202x by Jeff Cousins in the issue for September 2020.Google Scholar
www.adaic.org This site organized by the Ada Resource Association on behalf of the Ada Information Clearinghouse provides much information concerning companies offering Ada software and services, as well as new applications and developments.Google Scholar
www.adacore.com/about-spark This site gives access to a variety of material concerning SPARK and applications.Google Scholar
www.ada-auth.org This site contains various documents and other material concerning the standardization of Ada. It includes the Ada Reference Manual, the ARM, and the AARM, the annotated version, and also the various Ada Issues concerning technical details.Google Scholar
www.cambridge.org/barnes12-22 This site contains auxiliary material regarding this book such as a complete set of answers to all exercises.Google Scholar
Abbot, Edwin A (1884). Flatland. Basil Blackwell This entertaining book is the basis of an example of multiple inheritance in Section 14.8. It is a satire on the structure of society at the time. Various reprints abound. Mine was published by HarperCollins and includes a preface by Isaac Asimov.Google Scholar
Gibson, William. and Sterling, Bruce (1991). The Difference Engine. Bantam Books This colourful Steampunk novel is about a Victorian world where Babbage’s engines are widely used, Lord Byron is Prime Minister of Britain and Ada is the Queen of Engines.Google Scholar
Knuth, Donald E (1973). The Art of Computer Programming, vol 3: Searching and Sorting. Addison-Wesley These books cover many aspects of the mathematics behind programming. Hash functions are in Section 6.4 of this volume.Google Scholar
Stein, Dorothy (1985). Ada, A Life and a Legacy. MIT Press These classic biographies contain much information about the life of Ada Lovelace.Google Scholar
Alexander Toole, Betty (1992). Ada, the Enchantress of Numbers. Strawberry Press This biography captures more of the spirit of Ada as the first programmer.Google Scholar
Hammerman, Robin and Russell, Andrew L (2016). Ada’s Legacy. ACM Books This fascinating book covers cultures of computing from the Victorian to Digital age. Topics include the mathematics of the difference engine, Ada Lovelace’s work with Babbage, the background, evolution, and use of the Ada language, and the role of women in computing and other industries.Google Scholar
Barnes, John (2016). Nice Numbers. Birkhauser These books are based on lectures given at Oxford to mature students. Several examples in Programming in Ada are based on topics in these books such as: the geometry of the Fano plane where each line has just three points and vice versa, the Tower of Hanoi puzzle, the Sieve of Eratosthenes, Gaussian and polynomial primes, the RSA algorithm for encryption, pyramidal numbers and so on.Google Scholar
- 1
- Cited by