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

Ada Programming Practices (2/3)

Beyond memory safety with the Ada SPARK programming language

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

单集网页

信息