Can I read Introduction to Ada on EtoBox?

Introduction to Ada by Raphaël Amiard, Gustavo A. Hoffmann is a nonfiction available to read on EtoBox.

What is Introduction to Ada about?

Introduction History Ada today Philosophy SPARK Imperative language Hello world Imperative language - If/Then/Else Imperative language - Loops For loops Bare loops While loops Imperative language - Case statement Imperative language - Declarative regions Imperative language - conditional expressions If expressions Case expressions Subprograms Subprograms Subprogram calls Nested subprograms Function calls Parameter modes Subprogram calls In parameters In out parameters Out parameters Forward declaration of subprograms Renaming Modular programming Packages Using a package Package body Child packages Child of a child package Multiple children Visibility Renaming Strongly typed language What is a type? Integers Operational semantics Unsigned types Enumerations Floating-point types Basic properties Precision of floating-point types Range of floating-point types Strong typing Derived types Subtypes Subtypes as type aliases Records Record type declaration Aggregates Component selection Renaming Arrays Array type declaration Indexing Simpler array declarations Range attribute Unconstrained arrays Predefined array type: String Restrictions Returning unconstrained arrays Declaring arrays (2)

Who reads Introduction to Ada?

Author

Raphaël Amiard, Gustavo A. Hoffmann

Publisher

AdaCore

Published

2022

Language

EN

Category

nonfiction

Subjects

Computer Science, Programming, Stem