La programmation par contrat (des sous-programmes ou des types d'objets) est finalement intégrée dans la version Ada 2012.
la- pʁɔɡʁamasjˈɔ̃ paʁ kɔ̃tʁˈa de- supʁɔɡʁˈam u de- tˈip dɔbʒˈɛ ɛ finalmˈɑ̃ ɛ̃teɡʁˈe dɑ̃ la- vɛʁsjˈɔ̃ adˈa dø mil dˈuz.