Eiffel the language

Introduction to Eiffel -- Syntax, validity and semantics -- Th architecture of Eiffel software -- Classes -- Features -- The inheritance relations -- Clients and exports -- Routines -- Correctness -- Feature adaptation -- Repeated inheritance -- Types -- Conformance -- Control structures -- Exceptions -- Attributes -- Objects, values and entities -- Creating objects -- Duplicating and comparing objects -- Reattaching entities -- Feature call -- Type checking -- Expressions and constants -- Interfaces with other languages -- Lexical components -- Notes on the basic libraries -- Universal features -- Arrays and strings -- Exception facilities -- Persistance and environments -- Input and output -- Basic classes -- App. A. Style guidelines -- App. B. On language design and evolution -- App.C. An Eiffel bibliography -- App. D. Specifying systems in Lace -- App. E. Old-new dictionary -- App. F. New-old dictionary -- App. G. Reserved words, special symbols, operator precedence -- App. H. Syntax summary -- App. I. Syntax alphabetical order -- App. J. Syntax diagrams. -- Fotocopia anillada.