Beyond memory safety with the Ada SPARK programming language

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/BhfAQY8N-UQ

#memorysafety #ada​ #adalang​ #software #engineering

The late Robert Dewar gave this talk at the Massachusetts Institute of Technology in the 90s. Despite its age, it is still relevant and entertaining today, especially with the recent focus on memory safety and increasing security concerns. Robert Dewar was one of the creators of GNAT, a free software compiler for Ada that is part of the GNU Compiler Collection (GCC). In 2024, Gnat is the most widely used open-source Ada 2022 compiler.

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://youtu.be/x_p5qYqxGL8

#memorysafety #ada​ #adalang​ #software #engineering

This is an Ada and SPARK programming language podcast.

If you prefer video or would like a break down of the discussed topics then please see the youtube description.

https://www.youtube.com/live/6OW93ukTXtg

#memorysafety #ada​ #adalang​ #software #engineering

This is an Ada and SPARK programming language podcast.

If you prefer video or would like a break down of the discussed topics then please see the youtube description.

https://www.youtube.com/live/0Pnuy663gZM

#memorysafety #ada​ #adalang​ #software #engineering

This is an Ada and SPARK programming language podcast.

If you prefer video or would like a break down of the discussed topics then please see the youtube description.

https://youtu.be/hKBnZcU12cY

#memorysafety #ada​ #adalang​ #software #engineering