Ada Books

1. The Big Online Book of Linux Ada Programming
   Ada 95 is arguably the most powerful development language available for Linux with features comparable to Java and execution speeds similar to and sometimes exceeding C. gnat the main [perhaps only'check at HBAP?--KB] Ada 95 compiler for Linux is also absolutely free. This makes a combination that's hard for Linux programmers  to ignore.The Linux operating system that was created as a hobby by a young student Linus Torvalds at the University of Helsinki in Finland. Linus interested in the UNIX clone operating system Minix wanted to create an expanded version of Minix with more capabilities. He began his work in 1991 when he released version 0.02 and invited programmers to participate in his project. Version 1.0 was released in 1994. The latest version is 2.4 and development continues.                                                                         
2. Action in Ada 
   This book is not intended to teach you the Ada programming language. You should already be familiar with Ada syntax and semantics. My goal is to share with you the experiences I've had using Ada in engineering applications. I hope these pages will help you avoid some common pitfalls. Most of all, I hope I can help you fill your bag-of-tricks with some reusable Ada routines. The rest of this book is divided into four main topics. The first topic is numeric considerations. The examples Chapter 2 illustrate the things you need to think about whenever your program does non-trivial calculations. This includes obvious things like how many bits you will need for integers, and what floating-point data type to use, but it also includes some things you probably haven't been exposed to before.
                                                
3. Ada 95 Reference Manual 
   Ada was originally designed with three overriding concerns: program reliability and maintenance, programming as a human activity, and efficiency. This revision to the language was designed to provide greater flexibility and extensibility, additional control over storage management and synchroniza- tion, and standardized packages oriented toward supporting important application areas, while at the same time retaining the original emphasis on reliability, maintainability, and efficiency. The need for languages that promote reliability and simplify maintenance is well established. Hence emphasis was placed on program readability over ease of writing. For example, the rules of the language require that program variables be explicitly declared and that their type be specified. Since the type of a variable is invariant, compilers can ensure that operations on variables are compatible with the properties intended for objects of the type.                                                               
4. Ada 95 Reference Manual General
   Ada is a programming language designed to support the construction of long-lived, highly reliable software systems. The language includes facilities to define packages of related types, objects, and operations. The packages may be parameterized and the types may be extended to support the construction of libraries of reusable, adaptable software components. The operations may be implemented as subprograms using conventional sequential control structures, or as entries that include synchronization of concurrent threads of control as part of their invocation. The language treats modularity in the physical sense as well, with a facility to support separate compilation. 
                                     
5. Ada 95: The Craft of Object-Oriented Programming
   This book, originally published by Prentice Hall in 1996, was taken out of print in 2001 and the rights to the book were subsequently returned to me by Pearson (the successor company to Prentice Hall). I have decided to make it available online in HTML format, and at the same time I have corrected several errata which were present in the printed editions of the book. It’s perfectly possible that I might have missed some, or even introduced some brand-new ones, as part of the process of transforming the text into HTML.                                                                  
6. Ada-95: A guide for C and C++ programmers
   This document is written primarily for C and C++ programmers and is set out to describe the Ada programming language in a way more accessible to them. I have used the standard Ada documentation conventions, code will look like this and keywords will look like this. I will include references to the Ada Reference Manual in braces and in italics, {1.1}, which denotes section 1.1. The ARM is reference 1 at the end of this document. Another useful reference is the Lovelace on-line tutorial which is a great way to pick up Ada basics.I will start out by describing the Ada predefined types, and the complex types, and move onto the simple language constructs. Section 2 will start to introduce some very Ada specific topics and section 3 describes the new Ada-95 Object Oriented Programming constructs.