2 ms·
As of Ada 2012, the redesign means that the compiler can make use of the contract information, and was one of the main reasons for a lot of the changes.
by shakna 6y ago
As of Ada 2012, the redesign means that the compiler can make use of the contract information, and was one of the main reasons for a lot of the changes.
- OnlyOneCannolo 6y agoThat makes sense. Otherwise why bother conflating the programing language with the verification language.