An ObjectOriented? ProgrammingLanguage designed by BertrandMeyer for building large systems. The first general-puorse language to support PreConditions and PostConditions natively.
CategoryProgrammingLanguages
3 pages link to Eiffel: