В.Ш. Кауфман - Языки программирования - концепции и принципы (1990) (1160787), страница 84
Текст из файла (страница 84)
17.4. Параллельное преобразование координат
(умножение вектора на матрицу) 239
17.4.1. Структура коллектива процессов 239
17.4.2. Коммутация каналов 241
17.5. Монитор Хансена-Хоара на Оккаме-2 242
17.6. Сортировка деревом исполнителей 243
17.7. Завершение работы коллектива процессов 246
17.9. Сопоставление концепций параллелизма
в Оккаме и в Аде 247
17.9.1. Концепция параллелизма в Аде 248
17.9.2. Параллельное преобразование координат в Аде 249
17.10. Перечень неформальных теорем о параллелизме
в Аде и Оккаме 254
17.11. Единая модель временных расчетов 255
17.12. Моделирование каналов средствами Ады
(динамическое моделирование средств Оккама). 256
17.13. Отступление о задачных и подпрограммных
(процедурных) типах 258
17.13.1. Входовые типы - фрагмент авторской позиции 258
17.13.2. Обоснование входовых типов 260
17.13.3. Родовые подпрограммные параметры 262
17.13.4. Почему же в Аде нет подпрограммных типов? 263
17.13.5. Еще о входовых типах 263
17.13.6. Заключительные замечания 264
18. Наследуемость (к идеалу развития и защиты в ЯП). 266
18.1. Определяющая потребность 266
18.2. Критичность развиваемости 266
18.3. Аспекты развиваемости 267
18.4. Идеал наследуемости (основные требования) 268
18.5. Проблема дополнительных атрибутов 268
18.6. Развитая наследуемость 271
18.6.1. Аспект данных 271
18.6.2. Аспект операций 273
18.7. Концепция наследования в ЯП (краткий обзор) 278
18.7.1. Основные понятия и неформальные
аксиомы наследования. 278
18.8. Преимущества развитой наследуемости. 280
18.9. Наследуемость и гомоморфизм
(фрагмент математической позиции) 281
19. Объектно-ориентированное программирование 284
19.1. Определяющая потребность 284
19.2. Ключевые идеи объектно-ориентированного
программирования 285
19.3. Пример: обогащение сетей на Турбо Паскале 5.5 286
19.4. Виртуальные операции 290
19.5. Критерий Дейкстры 298
19.6. Объекты и классы в ЯП Симула-67 299
19.7. Перспективы, открываемые объектной
ориентацией средств программирования 300
19.8. Свойства объектной ориентации 302
19.9. Критерий фундаментальности языковых концепций. 303
20. Заключительные замечания 303
20.1. Реализаторская позиция 304
20.1.1. Компоненты реализации 304
20.1.2. Основная функция компилятора 307
20.1.3. Три принципа создания компиляторов 308
20.2. Классификация языков программирования 310
20.2.1. Традиционная классификация 310
20.2.2. Недостатки традиционной классификации. 311
20.2.3. Принцип инерции программной среды 312
20.2.4. Заповеди программиста 312
20.3. Тенденции развития ЯП 313
20.3.1. Перспективные абстракции 313
20.3.3. Абстракция от программы
(в концептуальном и реляционном программировании) 316
20.3.4. Социальный аспект ЯП 317
20.3.5. Стандартизация ЯП 317
Заключение. 318
Содержание 319
Список литературы 324
Список литературы
[1] Guidelines for the preparation of programming language
standards//ISO/TC97/SC22 WG10.- 1986.- # 251.- July.
[2] J.Joung. An Introduction to ADA.- Ellis Horwood Ltd.- England.-
1983.
[3] Ершов А.П. Трансформационная машина: тема и вариации // Проблемы
теоретического и системного программирования. - Новосибирск, 1982. - С. 5-
24.
[4] Романенко С.А. Генератор компиляторов, порожденный самоприменением
специализатора, может иметь ясную и естественную структуру. - Препринт. -
М., 1987.- 35с. - (ИПМ им. М.В.Келдыша АН СССР, #26).
[5] Турчин В.Ф.
[6] Хьюз Дж., Мичтом Дж. Структурный подход к програмирооанию / Пер. с
англ. под ред. В.Ш.Кауфмана. - М.: Мир, 1980.- 278 с.
[7] Темов В.Л. Язык и система программирования Том.- М.: Финансы и
статистика, 1988.
[8] Замулин А.В. Язык программирования Атлант (предварительное
сообщение). - Препринт. - Новосибирск, 1986. - 46 с. - (ВЦ СО АН СССР #654).
[9] Замулин А.В. Типы данных в языках программирования и базах данных.
- Новосибирск: Наука, 1987.- 150 с.
[10] Клещев А.С., Темов В.Л. Язык программирования Инф и его
реализация. - Л.: Наука, 1973.
[11] Пентковский В.М. Автокод Эльбрус Эль-76. Принципы построения языка
и руководство к пользованию / Под ред. А.П.Ершова. - М.: Наука, 1982.- 350
с.
[12] Йодан Э. Структурное проектирование и конструирование программ /
Пер. с англ. под ред. Л.Н.Королева.- М.: Мир, 1979.- 416 с.
[13] Communications of ACM.- 1986.- V.27.- N 12.
[14] Янг С. Алгоритмические языки реального времени. Конструирование и
разработка / Пер. с англ. под ред. В.В.Мартынюка. - М.: Мир, 1985.- 400 с.
[15] Язык спецификаций SDL/PLUS и методика его испольова-
ия/Я.М.Барздинь, А.А.Калниньш, Ю.Ф.Стродс, В.А.Сыцко. - Рига, ВЦ ЛГУ им.
Стучки, материал информационного фонда РФАП Латвии #ИН0047.-1986.- 204 с.
[16] Пайл Я. Ада - язык встроенных систем / Пер. с англ. под ред.
А.А.Красилова. - М.: Финансы и статистика, 1984.- 238 с.
____________________________________________________________
[17] Вегнер П. Программирование на языке Ада / Пер. с англ. под ред.
В.Ш.Кауфмана.- М.: Мир, 1983.- 240 с.
[18] The Programming Language Ada Reference Manual. American National
Standards Institute, Inc. ANSI/MIL-STD-1815A-1983.- Lecture Notes in
Computer Science.- V 155, 1983.
[19] Вирт Н. Алгоритмы + структуры данных = программы / Пер. с англ.
под ред. Д.Б.Подшивалова. - М.: Мир, 1985.- 406 с.
[20] Wirth N. Design a System from Scratch//Structured Programming.-
1989.- V 1.- P. 10-18. (Принцип чемоданчика и для ЯП, и для ОС, и для ППП).
[21] Wirth N. From Modula to Oberon. - ETH-ZENTRUM, SWITZELAND, 1988.-
Tuesday 23 February.-P. 1-9.
[22] Backus J. Can Programming Be Liberated from von Neumann Style? A
Functional Style and Its Algebra of Programs // CACM.- 1978.- Vol. 21, N 8.-
P. 613-641.
[23] Грис Д. Наука программирования / Пер. с англ. под ред. А.П.Ершова.
- М.: Мир, 1984.- 416 с.
[24] Дейкстра Э. Дисциплина программирования / Пер. с англ. под ред.
Э.З.Любимского. - М.: Мир, 1978. - 275 с.
[25] Клещев А.С. Реляционный язык как программное средство для
мскусственного интеллекта. - Препринт.- Владивосток, 1980.- 17с. (ИАПУ ДВНЦ
АН СССР, #26).
[26] Клоксин У., Меллиш К. Программирование на языке Пролог.- М.: Мир,
1987.- 336 с.
[27] Попов Э.В. Экспертные системы.- М.: Наука, 1987.- 285 с.
[28] Клещев А.С. Реализация зкспертных систем на основе декларативных
моделей представления знаний. - Препринт.- Владивосток, 1988.- 46 с.- (ДВО
АН СССР).
[29] Игнатьев М.Б., Потемкина А.А., Филоганов В.В. "Паралельные
алгоритмы и средства программирования": Текст лекций / ЛИАП. Л.: 1987. 50с.
: ил.
[30] Hill I.D., Meek B.L. (eds) Programming Language Standardization. -
Ellis Horwood Limited, 1980. - 261p.
[31] Стандартизация языков программирования/А.Л. Александров, Л.П.
Бабенко, В.Ш. Кауфман, Е.Л. Ющенко. - Киев: Технiка.- 1989.
[32] Кауфман В.Ш. Принципы стандартизации языков программирования //
Программирование.- 1988.- #3.- С. 13-22.
[33] Левин В.А. Проект базового языка спецификации Атон. - Препринт.-
М., 1989.- 28 с.- (ИПМ им. М.В.Келдыша АН СССР, #117).
[34] Кауфман В.Ш., Левин В.А. Естественный подход к проблеме описания
контекстных условий//Вестник МГУ, сер. выч. мат. и киб..- 1977.- #2.- С. 67-
77.
[35] Дал У.И., Мюрхауг Б., Нюгорд К. Симула-67. Универсальный язык
программирования. - М.: Мир, 1969.- 99 с.
[36] Андрианов А.Н., Бычков С.П., Хорошилов А.И. Программироваие на
языке Симула-67.- М.: Наука, 1985.- 288 с.
[37] Пратт Т. Языки программирования. Разработка и реализация // Пер. с
англ. под ред. Ю.М.Баяковского. - М.: Мир, 1979.- 575 с. (в 1983г. появилось
второе американское издание).
[38] Брукс Ф.П. мл. Как проектируются и создаются программные комплексы
/ Пер. с англ. под ред. А.П.Ершова.- M.: Наука, 1979.- 151 с.
[39] Касьянов В.Н., Поттосин И.В. Методы построения трансляторов. -
Новосибирск: Наука, 1986.- 344 с.
[40] Льюис Ф., Розенкранц Д., Стирнз Р. Теоретические основы проектиро-
вания компиляторов / Пер. с англ. под ред. В.Н.Агафонова. - М.: Мир, 1979.-
656 с.
[41] Кауфман В.Ш. О технологии создания трансляторов (проекционный
подход)//Программирование.- 1980.- #5.- С. 36-44.
____________________________________________________________
[42] Левин Д.Я. Сетл - язык весьма высокого уровня// Программирование.-
1976.- #5.- С. 3-9.
[43] Холстед М.Х. Начала науки о программах / Пер. с англ. под ред.
В.М.Юфы.- М.: Финансы м статистика, 1981.- 128 с.
[44] Горелик А.М., Ушкова В.Л., Шура-Бура М.Р. Мобильность программ на
Фортране.- М.: Финансы и статистика, 1984.- 167 с.
[45] Язык спецификаций SDL/PLUS и методика его
использования/Я.М.Барздинь, А.А.Калниньш, Ю.Ф.Стродс, В.А.Сыцко. - Рига, ВЦ
ЛГУ им. Стучки, материал информационного фонда РФАП Латвии #ИН0047.-1986.-
204 с.
[46] Грисуолд Р., Поудж Дж., Полонски И. Язык программирования СНОБОЛ-4
/ Пер. с англ. под ред. Ю.М.Баяковского.- М.: Мир, 1980.- 268 с.
[47] Пильщиков В.Н. Язык плэнер.- М.: Наука, 1983.- 208 с.
[48] Фуксман А.Л. Технологические аспекты создания программных систем.
- М.: Статистика, 1979.- 184 с.
[49] Тыугу Э.Х. Концептуальное программирование.- М.: Наука, 1984.- 256
с.
[50] Бабаев И.О., Новиков Ф.А., Петрушина Т.И. Язык Декарт - входной
язык системы СПОРА//Прикладная информатика. - М.: Финансы и статистика,
1981.-Вып 1.- С. 35-73.
[51] ISO 1539-80(E). Programming Languages - FORTRAN;.
ISO 7185-83(E). Programming Languages - PASCAL;
ISO 8652-87. Programming Languages - Ada;
ISO DP 9899. Programming Languages - C;
ISO DP 10279. Programming Languages - Basic);
ISO DP 1539. Programming Languages - FORTRAN;
ISO DP 10206. Programming Languages - Extended PASCAL.
(полезная литература, на которую прямых ссылок в тексте нет)
1. Лавров С.С. Основные понятия и конструкции языков программирования.
- М.: Финансы и статистика, 1982.- 22 с.
2. Шрейдер Ю.А. Логика знаковых систем (элементы семиотики). - М.:
Знание, 1974.
3. Сафонов В.О. Языки и методы программирования в системе Эльбрус / Под
ред. С.С.Лаврова. - М.: Наука, 1989.- 390 с.
4. Лисков Б., Гатэг Дж. Использование абстракций и спецификаций при
разработке программ: Пер. с англ. - М.: Мир, 1989.- 424 с.
5. Фути К., Судзуки Н. Языки программирования и схемотехника СБИС. -
М.: Мир, 1988.- 224 с.
6. Цаленко М.Ш. Моделирование семантики в базах данных. - М.: Наука,
1989.- 288 с.
7. Бар Р. Язык Ада в проектировании систем. - М.: Мир, 1988.- 320 с.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
