Penguin

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