Ada
Ada is a structured, statically typed, imperative, and object-oriented high-level programming language, extended from Pascal and other languages.
It has built-in language support for design by contract (DbC ), extremely strong typing,
explicit concurrency, tasks, synchronous message passing, protected objects, and non-determinism.
Ada improves code safety and maintainability by using the compiler to find errors in favor of runtime errors.
(presentation on Wikipedia )
programming languages
Documentations
Ada 2012
Ada95 Lovelace Tutorial Steelman On-Line
(David A. Wheeler )
Ada – A Crash Course samples.zip
(Peter C. Chapin )
Ada-Europe 🇪🇺:
AUJ – Ada User Journal Ada-Belgium 🇧🇪
(Dirk Craeynest );
Ada France 🇫🇷
Ada Conformity Assessment Authority :
Ada 2012 Reference Manual Ada 2022 Language Reference Manual Overview of Ada 2022
AdaControl
(Adalog )
AdaCore :
SPARK ;
Ada Home
AdaIC Ada Comparison Chart ,
Ada Rapporteur Group ,
Ada Standards :
AdaPower
Ada Programming Type System
Ada Programming Language :
Books ,
Forum OPi )
Ada Quality and Style Guide: Guidelines for Professional Programmers
awesome-ada
– curated list of awesome resources related to the Ada and SPARK
FOSDEM video recordings ):
2022 ,
2020 ,
2019 ,
2018 ,
2016 ,
2015 ,
2014 ,
2013 ,
2012 ,
2011 ,
2009 ,
2006 ;
FOSDEM
Introduction to Ada The Enhanced Dining Philosophers Problem Ray Toal )
ITEC 320 - Procedural Analysis and Design - Spring 2020 :
ITEC 320 FAQ
(Edward G. (Ned) Okie )
Le langage Ada 95 – 2005
.pdf
(Yves Bailly , GNU /Linux Magazine France 2005–2007) :
1. Présentation d’un langage pas comme les autres
.pdf
2. Sous-programmes
.pdf
3. Structure de contrôle en Ada
.pdf
4. Utilisation des tableaux
.pdf
5. Les enregistrements
.pdf
6. Les paquetages
.pdf
7. La généricité .pdf
8. Chaînes et fichiers .pdf
9. Mémoire et pointeurs
.pdf
10. Les exceptions .pdf
11. L’orientation objet .pdf
12. Types limités et objets contrôlés .pdf
13. Liaison avec d’autres langages .pdf
14. Tâches parallèles .pdf
15. Conteneurs .pdf
16. Les caractères des chaînes .pdf
17. Un peu d’assembleur .pdf
Jeffrey R. Carter :
Papers Pragmada Software Engineering Coding Standard
Make with Ada OverAPI.com Ada
Programming in Ada 2012 with a Preview of Ada 2022 Barnes , 2022)
Stack Overflow Ada tag
syntax in Ada
(Pascal Rigaux )
Ada history
Ada – The Project, The DoD High Order Language Working Group Whitaker , 1993)
Episode 101 – Origins of Ada Episode 102 – Application of Ada
Overview of the Ada Computer Language Competition Strawman – The technical requirements
Rationale for the Design of the ADA Programming Language
.pdf
(Jean D. Ichbiah ,
John G. P. Barnes ,
Jean-Claude Heliard ,
Bernd Krieg-Brueckner ,
Olivier Roubine ,
Brian A. Wichmann
1979)
![[Ada]](_svg/Ada-logo--t.svg)
Ada implementations