The Ada Programming Language

Beginning Ada Programming

Discover the Ada programming language by being gently guided through the various parts of the language and its latest available stable release. The goal in this book is to slowly ease you into the different topics. It is understood that you do not always have ample free time, so the text is easy to digest and concepts are spoon fed to the reader. Starting with the simplest of topics, detailed explanations demonstrate the how and why of Ada. You are strongly encouraged to experiment and break things (without which the learning process is linear and quite dull). At the end of Beginning Ada Programming, you will have an excellent understanding of the general topics that make up the Ada programming language and can tackle far more challenging topics. Each chapter builds on what was previously described. Furthermore, each code example is independent of others and will run all by itself. Instructions are provided where you can obtain an Adacompiler and how to debug your code. What You Will Learn Master basic types, control structures, procedures, and functions in Ada Use Ada arrays, records, and access types Implement OO programming using Ada Handle the basics of I/O and interfacing with the operating system Take advantage of string operators, data containers, multiprocessing with tasks, and more Work with contracts and proofs, networks, and various Ada libraries Who This Book Is For Programmers who are new to Ada, with at least some experience in programming, especially scientific programming.

The Ada Programming Language

Programming and Problem Solving with ADA 95

Programming and Problem Solving with Ada 95 provides a solid introduction to programming while introducing the capabilities of Ada 95 and its syntax without overwhelming the student. The book focuses on the development of good programming habits. This text offers superior pedagogy that has long defined computer science education, including problem solving case studies, testing and debugging sections, quick checks, exam preparation, programming warm-up exercises, and programming problems. The extensive coverage of material in such a student-friendly resource means that more rigor, more theory, greater use of abstraction and modeling, and the earlier application of software engineering principles can be employed.