Beyond memory safety with the Ada SPARK programming language
Kevin Chadwick
26 episodes
4 days ago
Discussions and news related to the memory safe Ada/SPARK programming languages.
https://www.patreon.com/ada_re
https://learn.adacore.com
https://ada-lang.io
All content for Beyond memory safety with the Ada SPARK programming language is the property of Kevin Chadwick and is served directly from their servers
with no modification, redirects, or rehosting. The podcast is not affiliated with or endorsed by Podjoint in any way.
Discussions and news related to the memory safe Ada/SPARK programming languages.
https://www.patreon.com/ada_re
https://learn.adacore.com
https://ada-lang.io
Beyond memory safety with the Ada SPARK programming language
17 minutes 17 seconds
6 months ago
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
Beyond memory safety with the Ada SPARK programming language
Discussions and news related to the memory safe Ada/SPARK programming languages.
https://www.patreon.com/ada_re
https://learn.adacore.com
https://ada-lang.io
