The language Eiffel -- keywords
- class -- a model for a set of objects
- feature -- attribute, function, procedure
- export -- interface declaration
- inherit -- class inclusion and subtyping (!)
- redefine, rename -- to change inherited features
- deferred -- to postpone the implementation
- require, ensure, invariant -- assertions