Blog
An Insight Into the AdaCore Ecosystem
Feb 04, 2026
Mark Hermeling
Formal Methods Practice and Theory
Formal methods offer a rigorous way to connect requirements to implementation, enabling developers to prove key properties such as the absence of…
Read More
May 04, 2009
Gem #64: Handling Multiple-Unit Source Files
Apr 21, 2009
Gem #63: The Effect of Pragma Suppress
Apr 06, 2009
Gem #62: C++ constructors and Ada 2005
Mar 23, 2009
Gem #61: Interfacing with C++ constructors
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