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: