Beyond memory safety with the Ada SPARK programming language
Kevin Chadwick
Publishing Details
Contact & Outreach
About This Podcast
Explore Statistics
Recent Episodes
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…
NVIDIA: Adoption of SPARK Ushers in a New Era in Security-Critical Software Development
This episode is a great demonstration of Ada SPARK going beyond memory safety. It is generated by Googles NotebookLM. It may be subject to hallucinations that are not present in AdaCores source…
Explaining Adas Generics by Edward Fish
This is a Google NotebookLM generated podcast based on Edward Fish paper entitled Explaining Adas Generics. It starts off with an overview of Ada and it's type…
Comparing Development costs of C and Ada at Rational Software '95
This episode is generated by Googles Notebooklm based on the following source. Comparing Development costs of C and Ada March 30, 1995 by Stephen F. Zeigler, Ph.D. of Rational Software…
S1E9 Ada Quality and Style Guide: Improving Performance
This podcast is a summary of the Ada Quality and Style Guide, the last chapter - Improving Performance. Voiced by AI (Google NotebookML) and hallucination free.Style Guide:…
S1E8 Ada Quality and Style Guide: Object-Oriented Features
This podcast is a summary of the Ada Quality and Style Guide, Chapter 9 "Object-Oriented Features". Voiced by AI (Google NotebookML) and hallucination free.Style Guide:…
S1E7 Ada Quality and Style Guide: Reusability
This podcast is a summary of the Ada Quality and Style Guide, Chapter 8 "Reusability" - a very important and interesting topic. Voiced by AI (Google NotebookML) and hallucination free.Style Guide:…
S1E6 Ada Quality and Style Guide: Portability (2/2)
This podcast is a summary of the Ada Quality and Style Guide, Chapter 7 "Portability" part 2 of 2. Voiced by AI (Google NotebookML) and hallucination free.Style Guide:…
Ada Quality and Style Guide: Portability (1/2)
This podcast is a summary of the Ada Quality and Style Guide, Chapter 7 "Portability" part 1 of 2. Voiced by AI (Google NotebookML) and hallucination free.Style Guide:…
Ada Quality and Style Guide: Concurrency
This podcast is a summary of the Ada Quality and Style Guide, Chapter 6 "Concurrency". Voiced by AI (Google NotebookML) and hallucination free. https://youtu.be/vyEGYKsIpTE Style Guide:…
Ada Programming Practices (3/3)
In the final video of Ada Quality and Style Chapter 5, we cover important topics such as the proper use of Visibility, exception handling, Erroneous execution and bounded errors. Dubbed by Google…
Ada Programming Practices (2/3)
In the second video of Ada Quality and Style Chapter 5, we cover important topics such as the proper use of Data Structures, Expressions and Statements. Dubbed by Google NotebookML. 01:23 Data…
Ada Programming Practices (Part 1/ 3)
In this first video of Ada Quality and Style Chapter 5, we talk about optional parts of syntax, parameter lists and types. Dubbed by Google NotebookML. 01:23 Optional Parts of the Syntax 11:42…
S1E2 Ada Meetup 2025 April
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…
S1E1 Ada Meetup 2025 March
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…
Ada Meetup 2024 November
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…
Ada Meetup 2024 October
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…
Ada Meetup 2024 September
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…
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…
Ada Meetup 2024 May
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…
Frequently Asked Questions
Beyond memory safety with the Ada SPARK programming language has published 26 episodes since March 2024, covering topics in Technology.
Beyond memory safety with the Ada SPARK programming language is currently sporadic with new episodes every 2 weeks. Average episode length is 41m.
Sign up on Grep.FM to access contact details for Beyond memory safety with the Ada SPARK programming language, including email and social media links.
