Beyond memory safety with the Ada SPARK programming language

Por: Kevin Chadwick
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
26 episodios disponibles

Latest episodes of the podcast Beyond memory safety with the Ada SPARK programming language

Ada: A language born from crisis. 02/11/2025
NVIDIA: Adoption of SPARK Ushers in a New Era in Security-Critical Software Development 01/10/2025
Explaining Adas Generics by Edward Fish 28/09/2025
Comparing Development costs of C and Ada at Rational Software '95 26/09/2025
Ada Quality and Style Guide: Improving Performance 14/09/2025
Ada Quality and Style Guide: Object-Oriented Features 24/08/2025
Ada Quality and Style Guide: Reusability 17/06/2025
Ada Quality and Style Guide: Portability (2/2) 31/05/2025
Ada Quality and Style Guide: Portability (1/2) 18/05/2025
Ada Quality and Style Guide: Concurrency 28/04/2025
Ada Programming Practices (3/3) 23/04/2025
Ada Programming Practices (2/3) 23/04/2025
Ada Programming Practices (Part 1/ 3) 23/04/2025
Ada Meetup 2025 April 06/04/2025
Ada Meetup 2025 March 16/03/2025
Ada Meetup 2024 November 08/01/2025
Ada Meetup 2024 October 06/10/2024
Ada Meetup 2024 September 06/10/2024
Memory Management with Ada 2012 16/05/2024
Ada Meetup 2024 May 16/05/2024
1 2 Siguiente › Última »
© 2003-2026 ZARZA | AHEAD OF OUR TIME
privacy policy
In God we trust In God we trust
PreSales Questions? Click Here
or call our toll-free line at +1-888-5002068 Miami, Florida, USA