Beyond memory safety with the Ada SPARK programming language

Ada Programming Practices (3/3)

In the final video of Ada Quality and Style Chapter 5, we cover important topics such as the proper use of Visibility, exception handling, Erroneous execution and bounded errors. Dubbed by Google NotebookML. 00:50​ Visibility 07:43​ Exception usage 09:56​ Erroneous execution and bounded errors https://youtu.be/GOVfwBcnU_E

Ada Programming Practices (2/3)

In the second video of Ada Quality and Style Chapter 5, we cover important topics such as the proper use of Data Structures, Expressions and Statements. Dubbed by Google NotebookML. 01:23​ Data Structures 11:42​ Expressions 16:00​ Statements https://youtu.be/mxlTFRkgRro

Ada Programming Practices (Part 1/ 3)

In this first video of Ada Quality and Style Chapter 5, we talk about optional parts of syntax, parameter lists and types. Dubbed by Google NotebookML. 01:23​ Optional Parts of the Syntax 11:42​ Parameter Lists 16:00​ Types https://youtu.be/KkECe34C4-0

Ada Meetup 2025 April

This is an Ada and SPARK programming language podcast. If you prefer video or would like a breakdown of the discussed topics then please see the YouTube description. https://www.youtube.com/live/-XBxQISMjTw Support link of this episode from the youtube channels description. https://www.patreon.com/ada_re #memorysafety #ada​ #adalang​ #software #engineering

Ada Meetup 2025 March

This is an Ada and SPARK programming language podcast. If you prefer video or would like a breakdown of the discussed topics then please see the YouTube description. https://www.youtube.com/live/U9GJCLfltAw #memorysafety #ada​ #adalang​ #software #engineering