http://electronicdesign.com/article/embedded/c11-ada-2012-renaissance-native-languages-74107
See above link.
The article specifically refers to language features in C++ 11 and Ada 2012 that can enhance correctness, safety and efficiency, particularly for critical applications.
Pre and post conditions are one such feature which helps with program correctness. I've used them with good results in a C-based product I worked on earlier. It ended up improving the product quality a lot.
No comments:
Post a Comment