Gems in categories Certification

Ada Gem #69 — Welcome back! We hope you had a great summer. Now let's get back to where we left off.
In this Gem and the previous one, we give you a simple walkthrough of
SPARK's capabilities and its integration with GPS. In the previous Gem,
we showed how to set up a SPARK project and prove that your SPARK
programs are free from uninitialized variable accesses and that they
execute without run-time errors. In this Gem, we show how to prove that
your SPARK programs respect given contracts. Continue Reading in Ada Answers »

Over the coming months, we will be publishing all thirteen chapters of the booklet. In the attachment at the bottom of Gem #30 you can access the contents and bibliography for the entire booklet.
We hope you will enjoy the read!

Ada Gem #39 — Reading and writing values from/to streams is easy with Ada’s “stream attributes” but for some array types the default attribute implementations could be made more efficient. In this Gem we show how the user can define these more efficient implementations. Continue Reading in Ada Answers »

Over the coming months, we will be publishing all thirteen chapters of the booklet. In the attachment at the bottom of Gem #30 you can access the contents and bibliography for the entire booklet.
We hope you will enjoy the read!

Over the coming months, we will be publishing all thirteen chapters of the booklet. In the attachment at the bottom of Gem #30 you can access the contents and bibliography for the entire booklet.
We hope you will enjoy the read!

Over the coming months, we will be publishing all thirteen chapters of the booklet. In the attachment at the bottom of Gem #30 you can access the contents and bibliography for the entire booklet.
We hope you will enjoy the read!

Over the coming months, we will be publishing all thirteen chapters of the booklet. In the attachment at the bottom of this page you can access the contents and bibliography for the entire booklet.
We hope you will enjoy the read!