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

에피소드 웹페이지

정보