Регистрация

Люка Карделли, Мартин Абади: Классы и типы в языках, основанных на классах

Люка Карделли, Мартин Абади: Классы и типы в языках, основанных на классах

Перевод: Пискунов A.Г.

28 октября 2010 г.

АННОТАЦИЯ

Некоторые выдержки из монографии ’Теория Объектов’ Карделли, Абади, посвященные обсуждению понятий тип, класс, подкласс, выделение типа (subtyping), наследование (inheritance) и их отличий. Может быть использован как введение в объектно - ориентированное программирование.

Загрузить документ: TvsC.pdf 538 Кб

binary method, bounded abstract types, bounded type parametrization, dynamic dispatch, inheritance, matching relation, method lookup, method specialization, method suites, multiple inheritance, object protocol, operator, protocol relation, static dispatch, structural subtyping, subclass, subclass relation, subclassing, subsumption, subtyping, superclass, typecast, typing soundess, атрибут, бинарный метод, выбор метода, выделение типа, динамическая диспетчеризация, категоризация, конкретизация (уточнение) метода, множественное наследование, надкласс, наследование, необходимость типизации, непротиворечивость типизации, образование подкласса, оператор, отношение подкласс, отношение подпротокола, отношение совпадения, подкласс, преобразование типа, протокол объектов, связанная параметризация типа, связанный абстрактный тип, статическая диспетчеризация, структурное выделение типа, хранилище методов

Опубликовал admin

21 Ноя, Воскресенье 2010г.

Комментарии (1)

Realcoding.NET v.2.0 codename «Meteorit». 2003-2012
Политика | Программирование | Реклама на сайте| Map

Программирование для чайников.