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