Beyond memory safety with the Ada SPARK programming language

Ada Programming Practices (3/3)


Listen Later

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
...more
View all episodesView all episodes
Download on the App Store

Beyond memory safety with the Ada SPARK programming languageBy Kevin Chadwick