In computer science, a record is a composite data structure – a collection of fields, possibly of different data types, typically fixed in number and sequence.
Ada is a structured, statically typed, imperative, and object-oriented high-level programming language, inspired by Pascal and other languages. It has built-in language support for design by contract,
Watercolour painting of Ada Lovelace
Passing the ACVC validation tests was an arduous task for Ada compiler vendors; here the certificate awarded by the Ada Joint Program Office and an award given by vendor management to its compiler staff