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

Ada Meetup 2023 October

1 tim 18 min•21 mars 2024
This is an Ada and SPARK programming language podcast. If you prefer video or would like a break down of the discussed topics then please see the youtube description. https://www.youtube.com/live/0Pnuy663gZM #memorysafety #ada​ #adalang​ #software #engineering

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.