Beginning Ada Programming, 1st ed.
From Novice to Professional

Author:

Language: English
Cover of the book Beginning Ada Programming

Subject for Beginning Ada Programming

58.01 €

In Print (Delivery period: 15 days).

Add to cartAdd to cart
Publication date:
343 p. · 17.8x25.4 cm · Paperback

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 Ada compiler 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.


Part 1: Introductory Topics
1. Introduction
2. Basic Types
3. Basic Control Structures
4. Procedures and Functions
5. Arrays, Records and Access Types
6. Basics of Object Oriented Programming
Part 2: Intermediate Topics
7. Exception Handling
8. The Basics Of I/O And Interacting With The Operating System
9. String Operations
10. Data Containers
Part 3: Advanced Topics
11. Multiprocessing With Tasks
12. Advanced Types
13. Advanced OOP
14. Contracts and Proofs
15. Networking and Advanced I/O
16. Project Organization
17. Libraries
Appendix A: Installing GNAT in Linux and Unix
Appendix B: Installing GNAT in Windows
Appendix C: Reserved Keywords
Appendix D: Debugging Ada Applications

Ever since beginning programming, Andrew Shvets was very interested in writing software that could be proven to be correct, without having to test every possible outcome or pray that extra bugs won't show up. Upon discovering SPARK/Ada, it became clear that his calling was answered.

Covers contemporary Ada programming

Comprises a gentle guide to learning the Ada programming language

Explains how Ada is still trusted to run key legacy and secure systems for airliners, satellites, and rockets