Eiffel

An object-oriented programming language designed by Bertrand Meyer, with support for design by contract as its core concept.