Sponsor of the Day:
Jerkmate
https://learn.adacore.com/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/dynamic_storage_management/dyn01_common_high_integrity_restrictions.html
Common High Integrity Restrictions (DYN01) - learn.adacore.com
high integritylearn adacorecommonrestrictions
https://learn.adacore.com/courses/advanced-ada/parts/resource_management/controlled_types.html
Controlled Types - learn.adacore.com
types learncontrolledadacore
https://learn.adacore.com/courses/Ada_For_The_CPP_Java_Developer/chapters/08_Classes_and_Object_Oriented_Programming.html
Classes and Object Oriented Programming - learn.adacore.com
object oriented programminglearn adacoreclasses
https://learn.adacore.com/courses/intro-to-ada/chapters/privacy.html
Privacy - learn.adacore.com
privacy learnadacore
https://learn.adacore.com/courses/intro-to-ada/chapters/more_about_records.html
More about records - learn.adacore.com
learn adacorerecords
https://learn.adacore.com/courses/SPARK_for_the_MISRA_C_Developer/chapters/03_syntactic_guarantees.html
Enforcing Basic Syntactic Guarantees - learn.adacore.com
learn adacoreenforcingbasicsyntacticguarantees
https://learn.adacore.com/booklets/adacore-technologies-for-airborne-software/chapters/tools.html
3. AdaCore Tools and Technologies Overview - learn.adacore.com
overview learn3adacoretoolstechnologies