This week
Gem #41: Accessibility Checks (Part II: Ada2005)
Previous weeks
Gem #40: Safe and Secure Software : Chapter 5, Safe Object Oriented Programming
Gem #39: Efficient Stream I/O for Array Types
Gem #38: Safe and Secure Software : Chapter 4, Safe Architecture
Gem #37: Bounded Buffer package in GNAT Hierarchy (Part 2)
Gem #36: Safe and Secure Software : Chapter 3, Safe Pointers
Gem #35: bounded buffer package in GNAT hierarchy (Part 1)
Gem #34: Safe and Secure Software : Chapter 2, Safe Typing
Gem #33: Accessibility Checks (Part I: Ada95)
Gem #32: Safe and Secure Software : Chapter 1, Safe Syntax