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
Dec 10, 2007
Gem #21: How to parse an XML text
Dec 03, 2007
Gem #20: Using pragma Shared_Passive for data persistence
Nov 26, 2007
Gem #19: XML streaming of Ada objects
Nov 19, 2007
Gem #18: Warnings in GNAT
Nov 12, 2007
Gem #17: Pragma No_Return, Part 2 (functions)
Nov 05, 2007
Gem #16: Pragma No_Return
Oct 29, 2007
Gem #15: Timers
Oct 22, 2007
Gem #14: Interrupt Handling Idioms (Part 2)
Oct 15, 2007
Gem #13: Interrupt Handling Idioms (Part 1)
Oct 08, 2007
Gem #12: Limited Types in Ada 2005 — <> Notation Part 2
Oct 01, 2007
Gem #11: Limited Types in Ada 2005 — Constructor Functions Part 2
Sep 24, 2007