Формальные модели объектно - ориентированного программирования:

A Semantics of Multiple Inheritance Luca Cardelli, (Семантика Множественного Наследования);
версия 0.90 перевода статьи Семантика Множественного Наследования;
An Imperative Object Calculus Martin Abadi And Luca Cardelli, (Императивное Исчисление Объектов);
An Interpretation of Objects and Objects Types Martin Abadi, Luca Cardelli, Ramesh Viswanathan (Интерпретация Объектов и их Типов);
Object - Oriented Programming in Explicit Mathematics: Towards The Mathematics of Objects, Thomas Studer von Werthenstein (Объектно Ориентированное Программирование в Явной Математике: К Математике Объектов);
Towards Object - Oriented Refinement Calculus, Jamie Shield (К Объектно Ориентированному Исчислению Детализации);
Unifying Theories of Objects, Michael Anthony Smith and Jeremy Gibbons (Объединяя Теории Объектов);
rCOS: A Refinement Calculus for Object Systems, He Jifeng, Xiaoshan Li and Zhiming Liu (rCOS: Исчисления Детализации для Объектных Систем);
An Object-Oriented Approach to Formal Specification, Graeme Paul Smith (Объектно - Ориентированный подход к Формальным Спецификациям);
The Quarks of Object- Oriented Development, Deborach J. Armstrong (Кварки Объектно Ориентированной Разработки);
Формализация Парадигмы Объектно - Ориентированного Программирования, Пискунов А.Г.;
Формализация парадигмы ООП: Наследование Абстрактных Автоматов, Пискунов А.Г.;
Formalization of the OOP Paradigm: Inheritance Of Abstract Automata, Piskunov A.G.;
(www.ict.edu.ru/ft/005130//index.html) Современные языки программирования и .NET. Основы объектно-ориентированного подхода. Курс лекций Зыков С.
(www.exponenta.ru/educat/systemat/kolesov/index.asp) Объектно-ориентированное моделирование сложных динамических систем Ю.Б. Колесов
Полезные книги:
djvu плагин для браузера и вьювер
Вычислимое и невычислимое Манин
Машина Поста Успенский
Алгебраическая теория автоматов Под редакцией Арбиба

Замечания можно слать на адрес: agp1 ухо sql точка ru






Если вам необходим почтовый аккаунт, тогда почта на Qip.ru - ваш выбор. Для хранения фото и видео рекомендуем бесплатный фотохостинг - Photo.Qip.ru.
Для студентов и абитуриентов: крупнейшая библиотека рефератов и сочинений - 5ballov.Qip.ru




Сайт размещен на бесплатном хостинге - Hosting.Qip.ru.