Howdy Logo
Glossary Hero image

The Howdy Glossary

Search terms in Glossary

Ada 2012

Ada 2012 is the latest revision of the Ada programming language standard. The update to Ada 2005 brought many new features and improvements, particularly in support for real-time, parallel processing, and embedded systems development. Some notable changes include improved container libraries (such as Vectors and Maps), exception handling enhancements (including tasks), and support for contract-based programming through preconditions, postconditions, and type invariants using the Ada 2012 syntax. Additionally, it introduced aspects similar to C++ attributes or Java annotations for specifying additional properties of entities within the program. The language remains a popular choice for safety-critical applications across aviation, defense systems development, healthcare equipment engineering and other industries where correctness is paramount.

Back