Implementation of a simple dimensionality checking system in Ada 2012. - Edmond Schonberg; Vincent Pucci (HILT, 2012)