Рубрики


Формализация Парадигмы Объектно-Ориентированного Программирования

В статье содержится формализация основных понятий объектно - ориентированного программирования. Даются определения таким понятиям ООП как класс, объект, наследование, инкапсуляция, полиморфизм через математические термины: множество, отношение, функция, абстрактный автомат. Строго различаются понятия тип (множество состояний абстрактного автомата) и класс (абстрактный автомат).

ключевые слова:

наследование, инкапсуляция, полиморфизм, функция, отношение, абстрактный автомат

machine.pdf

Автор:
Пискунов А.Г.
 



Опубликовал admin
24 Авг, Пятница 2007г.






 

\

Новые публикации

Последние комментарии


Ps vita купить
Каталог товаров Интернет-магазин
rollgames.ru
Квартиры посуточно в Самаре
Снять квартиру быстро и недорого можно здесь.
yourenta.ru
Программирование для чайников.