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.