Control
-- method refinement
branching -- {\em if ... then ... elsif ... else ... end }
iterations -- {\em from ... until ... loop ... end }
slide
:
Eiffel -- control