Home
Categories
EXPLORE
Comedy
History
News
Society & Culture
Business
Religion & Spirituality
Fiction
About Us
Contact Us
Copyright
© 2024 PodJoint
00:00 / 00:00
Sign in

or

Don't have an account?
Sign up
Forgot password
https://is1-ssl.mzstatic.com/image/thumb/Podcasts211/v4/76/e8/bf/76e8bfa6-aa31-a3bf-7a67-410aef875c2c/mza_6129175143813083552.jpg/600x600bb.jpg
Beyond memory safety with the Ada SPARK programming language
Kevin Chadwick
26 episodes
2 weeks ago
Discussions and news related to the memory safe Ada/SPARK programming languages. https://www.patreon.com/ada_re https://learn.adacore.com https://ada-lang.io
Show more...
Technology
RSS
All content for Beyond memory safety with the Ada SPARK programming language is the property of Kevin Chadwick and is served directly from their servers with no modification, redirects, or rehosting. The podcast is not affiliated with or endorsed by Podjoint in any way.
Discussions and news related to the memory safe Ada/SPARK programming languages. https://www.patreon.com/ada_re https://learn.adacore.com https://ada-lang.io
Show more...
Technology
https://d3t3ozftmdmh3i.cloudfront.net/production/podcast_uploaded_nologo/40744223/40744223-1710964268806-38c09ae90ead8.jpg
Ada Meetup 2024 September
Beyond memory safety with the Ada SPARK programming language
1 hour 11 minutes 25 seconds
1 year ago
Ada Meetup 2024 September
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/i_bVoiDlw5E #memorysafety #ada​ #adalang​ #software #engineering
Beyond memory safety with the Ada SPARK programming language
Discussions and news related to the memory safe Ada/SPARK programming languages. https://www.patreon.com/ada_re https://learn.adacore.com https://ada-lang.io