The Ada programming language was born in the mid-1970s, when the US Department of Defense (DoD) and the UK’s Ministry Of Defence sought to replace the hundreds of specialized programming lang… ...

“Ada.Strings.Unbounded.Text_IO.put_line(…” Thank goodness they didn’t think of calling the language Lovelace instead of Ada. The irony of such as verbose language having such a short name!

Here is a quick overview of each just in case you need more details. SPARK 2014 The language is a subset of the Ada 2012 programming language that includes features like contract programming.