Eiffel is a programming language