Eiffel
Design by Contract in CACM
Eiffel Users on Google Groups · Published December 13, 2021
Ian Joyner
CACM published a letter (also available in PDF) by Ian Joyner criticizing the application of Design by Contract to C and C++ via tools such as Frama-C. Joyner argues that retrofitting DbC onto C-family languages does not address core…