The AdaCore Blog
An Insight Into the AdaCore Ecosystem
Aug 11, 2026
Claire Dross
Multiple Levels of Models and Refinement
See how layered abstraction bridges specs and arrays in SPARKlib's hashed set implementation.
Read More
Mar 09, 2009
Gem #60: Generating Ada bindings for C++ headers
Feb 23, 2009
Gem #59: Generating Ada bindings for C headers
Feb 09, 2009
Gem #58: Ada / Java exception handling
Jan 26, 2009
Gem #57: Ada / Java cross dispatching
Jan 12, 2009
Gem #56: Creating Ada to Java calls using GNAT-AJIS
Dec 08, 2008
Gem #55: Introduction to Ada / Java Interfacing
Nov 24, 2008
Gem #54: Scripting Capabilities in GNAT (Part 2)
Nov 17, 2008
Gem #53: Safe and Secure Software: Chapter 12: Conclusion
Nov 10, 2008
Gem #52: Scripting Capabilities in GNAT (Part 1)
Nov 03, 2008
Gem #51: Safe and Secure Software: Chapter 11, Certified Safe with SPARK
Oct 27, 2008
Gem #50: Overload Resolution
Oct 20, 2008