From the Script: SLIDE 41 - Annual Maintenance

These are the results of the MITRE study. As the number of function points increases, Ada has a progressively greater advantage over C both in terms of reduced lines of code to implement the functionality, and in total cost of maintenance. Note that the other HOL's as a group also outperformed C.