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 01, 2012
Gem #117: Design Pattern: Overridable Class Attributes in Ada 2012
Feb 01, 2012
Gem #116: Ada and C++ Exceptions
Feb 01, 2012
Gem #115: Lego Mindstorms Ada Environment — Part 2
Feb 01, 2012
Gem #114: Logging with GNATCOLL.Traces
Nov 07, 2011
Gem #113: Visitor Pattern in Ada
Oct 17, 2011
Gem #112: Lego Mindstorms Ada Environment — Part 1
Oct 03, 2011
Gem #111: The Distributed Systems Annex, Part 5 — Embedded Name Server
Sep 21, 2011
Gem #110: Ada Plug-ins and Shared Libraries — Part 2
Sep 05, 2011
Gem #109: Ada Plug-ins and Shared Libraries — Part 1
Jun 17, 2011
Gem #108: Gprbuild and Configuration Files — Part 2
Jun 06, 2011
Gem #107: Preventing Deallocation for Reference-counted Types
May 23, 2011