Beyond memory safety with the Ada SPARK programming language

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

00:50​ Visibility

07:43​ Exception usage

09:56​ Erroneous execution and bounded errors

https://youtu.be/GOVfwBcnU_E

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 Structures

11:42​ Expressions

16:00​ Statements

https://youtu.be/mxlTFRkgRro

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

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

https://www.youtube.com/live/-XBxQISMjTw

Support link of this episode from the youtube channels description.

https://www.patreon.com/ada_re

#memorysafety #ada​ #adalang​ #software #engineering

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

https://www.youtube.com/live/U9GJCLfltAw

#memorysafety #ada​ #adalang​ #software #engineering

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

https://www.youtube.com/live/5gACmjASOQs

#memorysafety #ada​ #adalang​ #software #engineering

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

https://www.youtube.com/live/hpbXvSAAu30

#memorysafety #ada​ #adalang​ #software #engineering

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

https://www.youtube.com/live/i_bVoiDlw5E

#memorysafety #ada​ #adalang​ #software #engineering

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 management in many languages. This presentation shows how Ada addresses this issue in several original ways: first by requiring much less dynamic memory than other languages, and then by providing powerful tools for controlling allocation and deallocation when it is necessary.

Note that Ada has since gained the ability to provide heap de-allocation safety and memory leak prevention through Sparks borrow analysis.

Some references are made to slides but for the most part, this presentation works perfectly fine without video.

Video version: https://archive.fosdem.org/2016/schedule/event/ada_memory/

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

https://www.youtube.com/live/Bm0f0dyte8s

#memorysafety #ada​ #adalang​ #software #engineering