Beyond memory safety with the Ada SPARK programming language

Ada Meetup 2025 April


Listen Later

This is an Ada and SPARK programming language podcast.
If you prefer video or would like a breakdown of the discussed topics then please see the YouTube description.
https://www.youtube.com/live/-XBxQISMjTw
Support link of this episode from the youtube channels description.
https://www.patreon.com/ada_re
#memorysafety #ada​ #adalang​ #software #engineering
...more
View all episodesView all episodes
Download on the App Store

Beyond memory safety with the Ada SPARK programming languageBy Kevin Chadwick