Beyond memory safety with the Ada SPARK programming language

Ada Quality and Style Guide: Portability (2/2)


Listen Later

This podcast is a summary of the Ada Quality and Style Guide, Chapter 7 "Portability" part 2 of 2. Voiced by AI (Google NotebookML) and hallucination free.

  • Style Guide: ⁠https://ada-lang.io/docs/style-guide/s7
  • ⁠Support us: https://www.patreon.com/ada_re
  • ⁠Join Discord: ⁠https://discord.gg/fvNd5Kun⁠
  • Join Telegram: ⁠https://t.me/ada_lang​⁠

...more
View all episodesView all episodes
Download on the App Store

Beyond memory safety with the Ada SPARK programming languageBy Kevin Chadwick