Ada: A language born from crisis.

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

4 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

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

Technology

https://d3t3ozftmdmh3i.cloudfront.net/staging/podcast_uploaded_episode/40744223/40744223-1762105774577-d68bd30487f09.jpg

Ada: A language born from crisis.

Beyond memory safety with the Ada SPARK programming language

8 minutes 19 seconds

4 days ago

Ada: A language born from crisis.

Ever wondered how programming languages truly come to life?

This podcast delves into the unique history of Ada, a language commissioned by the US Department of Defense, a stark contrast to the organic evolution of most languages.

Join us as we explore the 'software crisis' of the 1970s, the linguistic chaos in military systems, and the unprecedented, systematic process that led to Ada's creation. From the Strawman to the Steelman, discover the ambitious requirements and the international competition that shaped a language designed for reliability, maintainability, and efficiency – principles that remain relevant today. This is the story of a systematic approach to software engineering that continues to impact how we develop software.