Skip to main content
  • Book
  • © 2020

Beginning Ada Programming

From Novice to Professional

Apress

Authors:

  • 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

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (17 chapters)

  1. Front Matter

    Pages i-xvii
  2. Introductory Topics

    1. Front Matter

      Pages 1-1
    2. Introduction

      • Andrew T. Shvets
      Pages 3-18
    3. Basic Types

      • Andrew T. Shvets
      Pages 19-38
    4. Basic Control Structures

      • Andrew T. Shvets
      Pages 39-52
    5. Procedures and Functions

      • Andrew T. Shvets
      Pages 53-67
    6. Arrays, Records, and Access Types

      • Andrew T. Shvets
      Pages 69-90
    7. Basics of Object-Oriented Programming (OOP)

      • Andrew T. Shvets
      Pages 91-108
  3. Intermediate Topics

    1. Front Matter

      Pages 109-109
    2. Exception Handling

      • Andrew T. Shvets
      Pages 111-120
    3. String Operations

      • Andrew T. Shvets
      Pages 133-146
    4. Data Containers

      • Andrew T. Shvets
      Pages 147-164
  4. Advanced Topics

    1. Front Matter

      Pages 165-165
    2. Multiprocessing with Tasks

      • Andrew T. Shvets
      Pages 167-194
    3. Advanced Types

      • Andrew T. Shvets
      Pages 195-218
    4. Advanced OOP

      • Andrew T. Shvets
      Pages 219-251
    5. Contracts and Proofs

      • Andrew T. Shvets
      Pages 253-263
    6. Networking and Advanced I/O

      • Andrew T. Shvets
      Pages 265-277
    7. Project Organization

      • Andrew T. Shvets
      Pages 279-295

About this book

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.


Authors and Affiliations

  • Providence, USA

    Andrew T. Shvets

About the author

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.

Bibliographic Information

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access