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.
Fler avsnitt av Beyond memory safety with the Ada SPARK programming language
Visa alla avsnitt av Beyond memory safety with the Ada SPARK programming languageBeyond memory safety with the Ada SPARK programming language med Kevin Chadwick finns tillgänglig på flera plattformar. Informationen på denna sida kommer från offentliga podd-flöden.
