This week
Gem #54: Scripting Capabilities in GNAT (Part 2)
Previous weeks
Gem #53: Safe and Secure Software: Chapter 12: Conclusion
Gem #52: Scripting Capabilities in GNAT (Part 1)
Gem #51: Safe and Secure Software: Chapter 11, Certified Safe with SPARK
Gem #50: Overload Resolution
Gem #49: Safe and Secure Software: Chapter 10, Safe Concurrency
Gem #48: Extending Interfaces in Ada 2005
Gem #47: Safe and Secure Software : Chapter 9, Safe Communication
Gem #46: Incompatibilities between Ada 83 and Ada 95
Gem #45: Safe and Secure Software : Chapter 8, Safe Startup
