
Index Terms
Gem #106: lady Ada kisses python -- part 2
Recommendations
Gem #59: generating Ada bindings for C headers
One of the delicate areas of Ada that is often unfamiliar to developers is how to intermix Ada code with other programming languages. While Ada provides very powerful and complete capabilities to interface with other compiled languages such as C, C++, ...
Gem #69: let's SPARK! - part 2
In this Gem and the previous one, we give you a simple walkthrough of SPARK's capabilities and its integration with GPS. In the previous Gem, we showed how to set up a SPARK project and prove that your SPARK programs are free from uninitialized variable ...
Gem #61: interfacing with C++ constructors
In the previous Gem about generating bindings from C++ headers, we mentioned, without going into details, how to interface with C++ constructors in Ada using the CPP_Constructor pragma.
In this Gem we present some common uses of C++ constructors in ...






Comments