Make A Contract With Your Programming Language

摘要

Ada is a programming language well known in military and communication circles, though it has lost ground in recent times to C and C++. While there are some legitimate reasons to move in this direction, there are also quite a few arguments in favor of moving from C/ C++ to Ada-especially Ada 2012. Ada 2012 is the latest incarnation of the Ada language standard, incorporating a number of changes from previous versions. One of the most useful of these is contract support.