The AdaCore Blog
An Insight Into the AdaCore Ecosystem
Sep 14, 2026
M. Anthony Aiello
GNAT Foundry Intersection: Demonstrating Trustworthy AI Development
GNAT Foundry demos AdaCore's tools providing deterministic trust in artifacts produced by AI, yielding trustworthy, high-integrity AI development at…
Read More
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
Gem #49: Safe and Secure Software: Chapter 10, Safe Concurrency
Oct 13, 2008
Gem #48: Extending Interfaces in Ada 2005
Oct 06, 2008
Gem #47: Safe and Secure Software : Chapter 9, Safe Communication
Sep 29, 2008