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
Oct 25, 2010
Gem #93: High Performance Multi-core Programming - Part 1
Oct 11, 2010
Gem #92: Code Archetypes for Real-Time Programming - Part 2
Sep 27, 2010
Gem #91: Smart Completion (Part 2 of 2)
Sep 14, 2010
Gem #90: The Distributed Systems Annex, Part 4 — DSA and C
Jun 22, 2010
Gem #89: Code Archetypes for Real-Time Programming - Part 1
Jun 14, 2010
Gem #88: GPS - Smart Completion (Part 1 of 2)
Jun 02, 2010
Gem #87: The Distributed Systems Annex, Part 3 — Mailboxes
May 17, 2010
Gem #86: Ada Quiz 1 - Basic Types
May 03, 2010
Gem #85:The Distributed Systems Annex 2 — Distributed Objects
Apr 19, 2010
Gem #84: The Distributed Systems Annex 1 - Simple client/server
Apr 05, 2010
Gem #83: Type-Based Security 2: Validating the Input
Mar 22, 2010