A Proposal for Making Eiffel Type-safe | Zendy

William R. Cook | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

A Proposal for Making Eiffel Type-safe

Author(s) -

William R. Cook

Publication year - 1989

Publication title -

the computer journal

Language(s) - English

Resource type - Journals

eISSN - 1460-2067

pISSN - 0010-4620

DOI - 10.1093/comjnl/32.4.305

Subject(s) - eiffel , computer science , construct (python library) , programming language , type (biology) , hierarchy , recursion (computer science) , inheritance (genetic algorithm) , declaration , class (philosophy) , permutation (music) , theoretical computer science , object oriented programming , artificial intelligence , ecology , biochemistry , chemistry , physics , economics , gene , acoustics , market economy , biology

Statically type-correct Ei#el programs may produce run-time errorsbecause (1) attributes may be redeclared during inheritance, invalidatingassignments in the superclass, (2) a formal method argumenttype may be restricted in violation of the contravariance of functiontypes, and (3) two applications of a generic class are assumed toconform if the actual arguments conform. The third problem is solvedby case analysis on the variance of generic parameters. Declarationby association...

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research