Blog
An Insight Into the AdaCore Ecosystem
Apr 30, 2026
Claire Dross
Reasoning about Linked Structures in an Array
Reasoning about linked data structures within an array is complicated, requiring high-level concepts such as reachability and inductive reasoning.…
Read More
Feb 11, 2013
Gem #141 : Con-figure it out
Jan 28, 2013
Gem #140: Bridging the Endianness Gap
Jan 14, 2013
Gem #139 : Master the Command Line - Part 2
Dec 10, 2012
Gem #138 : Master the Command Line - Part 1
Nov 26, 2012
Gem #137: Ada Quiz 2 - An Heir and a Spare?
Nov 12, 2012
Gem #136: How tall is a kilogram?
Oct 29, 2012
Gem #135 : Erroneous Execution - Part 4
Oct 15, 2012
Gem #134 : Erroneous Execution - Part 3
Sep 24, 2012
Gem #133 : Erroneous Execution - Part 2
Sep 10, 2012
Gem #132 : Erroneous Execution - Part 1
Aug 07, 2012
Gem #131 : Type-Safe Database API - Part 3
Jul 23, 2012