Beyond memory safety with the Ada SPARK programming language
  • 4月23日
  • 17 分钟

Ada Programming Practices (3/3)

Beyond memory safety with the Ada SPARK programming language

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

单集网页

信息