Sveriges mest populära poddar
Beyond memory safety with the Ada SPARK programming language
Teknologi

Ada Programming Practices (Part 1/ 3)

23 min•23 april 2025
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​ Parameter Lists 16:00​ Types https://youtu.be/KkECe34C4-0

Fler avsnitt av Beyond memory safety with the Ada SPARK programming language

Visa alla avsnitt av Beyond memory safety with the Ada SPARK programming language
Ada: A language born from crisis.
•8 min
NVIDIA: Adoption of SPARK Ushers in a New Era in Security-Critical Software Development
•29 min
Explaining Adas Generics by Edward Fish
•25 min
Comparing Development costs of C and Ada at Rational Software '95
•52 min
Ada Quality and Style Guide: Improving Performance
•15 min
Ada Quality and Style Guide: Object-Oriented Features
•25 min
Ada Quality and Style Guide: Reusability
•26 min
Ada Quality and Style Guide: Portability (2/2)
•28 min
Ada Quality and Style Guide: Portability (1/2)
•27 min
Ada Quality and Style Guide: Concurrency
•28 min

Beyond 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.