Р.У. Себеста - Основные копцепции языков программирования (2001) (1160794), страница 169
Текст из файла (страница 169)
%апеп, !).Н.О., 1..М. Реге!га, апб Р.С.Н. Реге!га. (1977) "Рго!о8: ТЬе 1.ап8иа8е апб 1гь !гпр1егоепгабоп Согпрагеб го 1.15РУ АСМ Я1БРЕАИ Иобсеь, Чо!. 12, Ыо. 8, апб АСМ Я1САЯТИегчв1еггег, Чо1. 6, 1Чо. 4. %апеп, !).Н.Р., (..М. Регена, апб Г.С.Х. Регева. (1979) "()вег'ь С»Ые го 13ЕС 5угает-1О Рго!о8." Оссаьюпа! Рарег 15. Оерапгпепг оГ Ап!Пс!а! 1пгеШПепсе, (1ппс оГ Еб1пЬиг8Ь, 5собапб. %аи, ().А. (1979) "Ап Ехгепбеб АипЬиге Сгапипаг Гог Рааса!У АСМ Я1СР1АИ Иобсев, Чо). ! 4, Но. 2, рр.
60-74. %е8пег, Р. (1972) "ТЬе Ч!еппа ОейпЬ!оп ).ап8иа8еу АСМ Сотрштд Яигчеуь, Чо). 4, Хо. 1, рр. 5-63. %еВьтап, С. (1967) 11ЯР 1.5 РПтет. !3!сЬепвоп Ргеьь, Ве!гпопг, СА. %е!вЬ, 1., М.1. 5пеег!п8ег, апб С.А.К Ноаге. (1977) '*Ат848иЬ!ев апб!пьесигпбев !п Раьса!." ЯогЬчаге — Ртасг!се алг1 Ехрепепсе, Чо!. 7, Ыо. 6, рр. 685-696. %ехе!Ыаг, КЛ.. (еб.). (1981) НВгогу оу РгоЯгатт!пд 1.алЯиадев, Асабепис Ргеы, Ые» УогЫ %Ьее)ег, 0.1. (1950) "Рго8гатгпе Ог8ап!гаг(оп апб !п)Па! Огбегв Гог 1Ье ЕОЯАСР Ргос.
1!. Яос. 1.опбоп, Яег. А, Чо!. 202, рр. 573-589. %ПЬев, М.Ч. (1952) "Риге апб АррПеб Рго8гатгп)п8."! п РгосеейлЯв ог гЬе АСМ Иабопа! Соп~егепсе, Чо!. 2. Тогопго, рр. ! 21-124. %ПЬеь, М Ч„Р.1. %Ьее!ег, апб 5. СШ. (1951) ТЬе Ргерагабоп о7' Ргодтатв 7ог ал Е1есгютс 13г~!га1 Сотригег, гчггЬ Яре с!а! Ке~етепсе го йе ЕТЗЯАС апг1 йе Уве о7' а Е1Ьгагу о1 ЯиЬгоиг1лез. Абйвоп-%ев)еу, Кеайп8, МА. %ПЬев, М.Ч., 13.1. %Ьее!ег, апб 5. СШ (1957) ТЬе Ргерога11оп о~ РгоПтатз гог ал Е1есгтотс РгЬ1га! Сотригег. 2б еб.
Абйьоп-%еь)еу, Кеайп8, МА. %!пЬ, Ы. (1971) "ТЬе Рго8гатт!п8 (.ап8»а8е Рааса!у Асга 1фогтаггса, Чо!. 1, Но. 1, рр. 35-63. %!пЬ, Ы. (! 973) Буигетабс РгоЯтатттд; Ал 1пггЫисг1оп. Ргепбсе-НаП, Еп8)еаооб С1ПТв, Ы1. Лмгврпчуро 659 Предметный указатель Блок, 195; 416 Предметный указатель Абстрактные типы данных, 433 в языке Ада, 437 в языке С++, 441 а языке 1ача, 444 в языке Моби!а-2, 440 параметризованные, 446 Абстракция, 37; 430 процесса, 430 Аксиома, 153 Активационная запись, 395 Активный бнт, 421 Антецедент, 619 Атрибут, 144 внутренний, 145 синтезированный, 144 унаследованный, 145 Атрибупшные вычислительные функции, 144 Вариант записи, 248 Взаимная блокировка, 510 Возбуждение исключительной ситуации, 547 Возобновление сопрограмм, 386 Время связывания, 179 Вывод предложения, 129 левосторонний, 130 правосторонний, 130 Выражение булевское, 290 отношений, 289 смешанное, 287 сокрашенное вычисление, 291 Высказывание, 616 атомарное, 617 Генератор промежуточных команд, 49 Генератор языка, 126 Гипотеза, 62! Главный модуль, 387 Глубина вложения, 406 статическая, 406 Грамматика.
128 атрибутивная, 143 неоднозначная, 132 Грамматическая лексема, 125 Граф наследования, 455 ориентированный. 139 синтаксический, 139 Данные-члены, 441 Дерево наследования, 455 синтаксического анализа. 131 полностью определенное, !45 Деструктор, 442 Динамическая память, 255 Динамический массив. 94 Динамическое связывание, 456 в языке Ада, 493 а языке Се+. 485 в языке ЕИТе1, 496 в языке Зача, 489 Доступ глубокий.
419 теневой, 421 Единица компиляции, 431 Загрузчик, 396 Задача, 507 Запись, 242 активации, 395 иерархическая структура, 243 полностью определенная ссылка на поле, 244 Защищенные команды, 334 И Идентификаторы, 35 Инвариант цикла, 157 Индекс массива, 228 Индикатор, 411 Инкапсуляция, 431 Интерфейс сообщения, 454 Исключитечьная ситуация, 547 непроверенная, 570 проверенная, 570 Искусственный интеллект, 27; 69 Исчисление предикатов, 617 Итеративная конструкция, 318 Итератор, 330 Класс, 454 виртуальный, 456 производный, 454 родительский, 454 Клиенты, 433 Компиляция, 47 независимая, 381 раздельная, 381 Композиция функций, 582; 600 Конкретизация, 621; 624 Консеквент, 619 Константа именованная, 203 Манифестная, 204 Конструктор. 442 Конструкция в функциональном языке, 583 Контекстно-свободные грамматики, 127 Конъюнкция, 626 Корректность полная, 160 частичная, 160 куча, 186; 255 Левое значение, 178 Лексема, 125 Лексический анализатор.
48 Ленивые вычисления, 74 Логический вывод типа, 183 Логическое программирование, 102; 616 Лямбда-выражение, 582 Массив автоматический, 230' ассоциативный, 241 динамический, 230 запись по строкам. 237 запись по столбцам, 238 статический, 230 фиксированный автоматический, 230 Машинный язык, 46 Метаязык, 128 Метод виртуальный, 456 класса.
454; 455 замещаемый, 454 замешаюший, 454 прототипов, 362 экземпляра, 455 Множество в языке Модо!а-2, 253 в языке Разса1, 253 Модуль, 431 Модуляризация, 431 Монитор, 516; 520 Мусор, 258 662 Предметный указатель Н Наследование, 453 бриллиантовое, 460 в языке Ада, 49 ! в языке С++.
481 в языке Е !Те!, 495 в языке 3ата, 489 в языке Бва! 1!а!к, 479 интерфейса, 458 множественное, 455 одиночное,455 реализации, 458 Настраиваемые компоненты, 377 Настраиваемые подпрограммы в языке Ада, 377 в языке С++. 379 Неймановская архитектура, 41 Неймановское узкое место, 50 Нетермнналы, 128 О Обзор Данных динамический, 198 статический. 193 Обработка исключительных ситуаций, 38; 547 в языке Аба, 557 в языке С++, 563 в языке Зача, 567 в языке РЫ, 552 Объединение, 246 в языке Ада 95, 250 в языке АЕООЕ 68, 247 в языке Рааса!, 248 размеченное, 247 свободное.
247 Объект, 432; 454 Объектно-ориентированное программирование, 109 Оперативная память,45 Оператор асинхронный. 531 безусловного перехода, 33 1 бинарный, 277 ветвления, 306 многовариантный, 311 трехвариантный, 312 отношений, 289 перегруженный, 284 приоритет выполнения, 278 согласования, 247 тернарный, 277 тождественный, 278 унарный, 277 управляюший, 304 цикла, 318 в языке Ада, 323 в языке АЕООЕ 60, 321 в языке С, 324 в языке С++, 324 в языке РОЙТМАН, 319 в языке 3ата, 324 в языке Рааса!, 323 Операторы присваивания, 293 Операционная система, 46 !3Н1Х,53 Операция элементная, 234 Освобождение памяти ленивый подход, 266 энергичный подход, 266 Очередь задач, 510 Пакет, 437 спецификация, 437 тело, 437 Параллельность в языке Аба, 530 в языке Н18п-РегГоппапсе ГОКТКАН, 538 в языке Зата, 532 логическая, 506 физическая, 506 Параметры цикла, 318 Перегруженные литералы, 224 Переменная, 41; 177 автоматическая, 185 адрес, 177 Предметный указатель 663 альтернативное имя, 178 безымянная, 255 видимая, 192 глобальная, 383 динамическая, 255 зависящая от предыстории, 184 значение, 179 имя, 177 инициализация, 204 класса, 455 нелокальная, 193; 383 неявная динамическая, 186 неявное объявление, 181 область видимости, 192 обработка объявления, 185 ограниченная вариантная, 250 потерянная динамическая, 258 размещение в памяти, 184 статическая, 184 тип, 179 удаление из памяти, 184 зкземпляра, 455 явная динамическая, 186 явное объявление, 181 Планировщик.
509 Побочный аффект функции, 283 Подкласс, 454 Подпрограмма активная, 202; 347; 400 вызов, 347 заголовок, 347 ключевые параметры, 349 настраиваемая, 377 определение, 347 перегруженная, 375 передача параметров по значению, 355 значению и результату, 356 имени, 359 результату, 356 ссылке.
357 позиционные параметры, 349 полнморфная,377 профиль параметров, 347 режим ввода, 354 ввода-вывода, 354 вывода, 354 фактические параметры, 348 формальные параметры, 348 Подтип, 458 в языке Ада 95, 191 Подцель, 627 Порождение языка, 126 Последующая проверка, 318 Постусловие, 153 Поток управления, 506 Правило, 128; 626 леворекурсивное, 136 логического вывода, 153 логического следствия, 155 праворекурсивное, 136 рекурсивное, 129 Правое значение, 179 Предварительная проверка, 318 Предикативные функции, 144 Предложения, 125 Предусловне, 153 слабейшее, 153 Преобразование типов расширяющее, 286 сужаюшее, 286 явное, 288 Проверка типов, 38; 187 Программа надежность, 38 Программирование императивное, 74 объелтно-ориентированное, 452 Программное обеспечение системное, 28 Прололжение выполнения программы, 550 Продукция, 128 Прозрачность ссылок.
584 Протокол сообщения, 454 Процессор, 45 Раздел закрытый, 438 Распознавание языка, 126 Редактор связей, 491 396 Резолюция, 620 Предметный указатель Саик, 364 Связывание,! 79 динамическое, 180 подпрограмм,394 статическое, 180 Связывание подпрограмм глубокое, 374 специальное, 374 теневое. 374 Связь линамическая, 398 статическая, 398 Семантика, 124 аксиоматическая, 152 декларативная, 622 денотационная. 162 динамическая,150 операционная, 150 статическая, 144 Семафор, 511 бинарный.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
