The language Eiffel
B
design principles
-- correctness
terminology
-- keywords
syntax
-- type conformance, control
objects
--
counter
example
inheritance
-- renaming, redefining
slide
:
Eiffel -- summary