Beyond memory safety with the Ada SPARK programming language

"Ada's Past, Present, and Future" by Robert Dewar.


Listen Later

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.
...more
View all episodesView all episodes
Download on the App Store

Beyond memory safety with the Ada SPARK programming languageBy Kevin Chadwick