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
Sep 17, 2007
Gem #9: Classwide Operations, Iterators, and Generic Algorithms
Sep 10, 2007
Gem #8: Factory Functions
Jun 25, 2007
Gem #7: The Beauty of Numeric Literals in Ada
Jun 18, 2007
Gem #6: The Ada95 Multiple Views Idiom vs. Ada05 Interfaces
Jun 11, 2007
Gem #5: Key-Based Searching In Set Containers
Jun 04, 2007
Gem #4: PWM Position Control for Radiocontrol Servos
May 28, 2007
Gem #3: Limited Types in Ada 2005 — Constructor Functions
May 21, 2007
Gem #2: Limited Types in Ada 2005 — <> Notation in Aggregates
May 14, 2007