Beyond memory safety with the Ada SPARK programming language
Kevin Chadwick
26 episodes
3 days 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
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
Beyond memory safety with the Ada SPARK programming language
59 minutes 37 seconds
1 year ago
Memory Management with Ada 2012
A talk was given by Jean-Pierre Rosen at Fosdem 2016.
Dynamic memory management has always been a source of trouble, and garbage collection is just a way to overcome the lack of proper memory management in many languages. This presentation shows how Ada addresses this issue in several original ways: first by requiring much less dynamic memory than other languages, and then by providing powerful tools for controlling allocation and deallocation when it is necessary.
Note that Ada has since gained the ability to provide heap de-allocation safety and memory leak prevention through Sparks borrow analysis.
Some references are made to slides but for the most part, this presentation works perfectly fine without video.
Video version: https://archive.fosdem.org/2016/schedule/event/ada_memory/
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