Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Филд А., Харрисон П. — Функциональное программирование
Филд А., Харрисон П. — Функциональное программирование



Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Функциональное программирование

Авторы: Филд А., Харрисон П.

Аннотация:

В книге английских специалистов рассмотрены проблемы аппликативного программирования, существенно повышающего интеллектуальность разрабатываемых программ по сравнению с традиционным программированием. При этом спецификация предметной области существенно упрощает труд программиста. Особое внимание уделяется вопросам реализации функциональных языков, основанных на лямбда-исчислении Черча. В качестве базового языка рассматривается функциональный язык Норе, имеющий простой и ясный синтаксис. Изложение сопровождается многочисленными примерами конкретных программ.
Для программистов как начинающих, так и профессионалов, а также специалистов в области информатики.


Язык: ru

Рубрика: Computer science/Языки программирования/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 1993

Количество страниц: 640

Добавлена в каталог: 13.05.2005

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
$\Gamma$-машина      415
$\Gamma$-машина, генератор кода      422
$\Gamma$-машина, генерация кода      422
EQ/eq      123
Eta-редукция      125
Eval/Apply-интерпретатор      208
F-код      389
FALSE/false      125
FP      103
FP-алгебра      503 507
FUNARQ      214
I-комбинатор      292
INDEX/index      124
LAMBDA      57 91 99
LAMBDA-абстракция      212
LAMBDA-вершина      260
LAMBDA-исчисление      118 121
LAMBDA-исчисление де Брейна      149
LAMBDA-общее      341
LAMBDA-связанная переменная      156
LAMBDA-удаление      327 363 390
LAMBDA-чистое      145
LET-связанная переменная      155
LETREC      417
letrec/whererec      58
Miranda      89
Miranda, where      92
Miranda, абстракция списков      94
Miranda, арифметическая последовательность      91
Miranda, включение списков      94
Miranda, переменная типа      95
Miranda, список      91
NIL/nil      125
NULL/null      125
SECD-машина      230
SECD-машина ленивая      240
SECD-машина энергичная      231
SECD-машина, взаимосвязь с КАМ      348 353
SECD-машина, доказательство корректности реализации      247
SECD-машина, обработка условных выражений      238
SECD-машина, семантика      248
SECD-машина, состояние машины      231
SECD-машина, управляемая данными      229
SECD-машина, управляемая запросами      229
SECD-машина, функция переходов      233
TL/tl      125
Treesort      41 67
TRUE/true      125
TUPLE-n/tuple-n      125
Абстрагирование      305
Абстрагирование от переменных      504
Абстрагирование при лямбда-поднятии      326
Абстрактная интерпретация      473
Абстрактная машина      387
Абстрактная полнота      573
Абстрактное доказательство надежности      572
Абстрактное правило знаков      562
Абстрактное синтаксическое дерево      181
Абстрактный анализ строгости      565
Абстрактный домен      562 566
Абстрактный тип данных      474
Авторекурсивная функция      42
Аксиомы      161
Активная ячейка      440
Алфавитная эквивалентность      125 133
Анализ сложности      577
Анализ функционального уровня      477 503
Аннотация      472 474 561
Аппликативное выражение      292
Аппликативный язык программирования      9
Аппроксимация Ньютона — Рафсона      76
Аргумент      14
Ассоциативность (функции Join)      25
Базовый тип      154
Бесконечная структура      74
Бета-абстракция      135
Бета-редукция      125
Ведущий адрес      446
Вершина      46
Вершина в редуцируемом графе      258
Вершина копирования      364
Вершина применения в потоковом графе      366
Вершина примитивной функции в ПГ      365
Вершина-синоним      274
Взаимная рекурсия      142 174
Взаимно рекурсивные функции, проверка типов      174
Взаимодействие ведущего и возвращающего указателей      459
Взвешенный счетчик ссылок      467
Вид рекурсии      27
Встроенная (примитивная) функция      16
Входные инструкции      375
Вызов по значению      71
Вызов по текстовой замене      139
Вычисление      119 238
Вычисление лямбда-выражений      123
Вычисление, основанное на контексте      228
Генерация кода      386
Генерация кода для МФП      403
Гребень графа      263
Гребень графа, доступ при редукции графа      277
Дамп с присваиванием      241
Декартова категория      345 346
Дельта-правило      124
Денотационная семантика      593
Дерево      45
Дерево двоичное      46
Дерево сопоставления      187
Динамическое связывание      61
Доказательство      154
Домен области определения функции      11 586
Домен плоский      11
Домен теория      586
Завершение      72
Завершение сопоставления образцов      201
Зависимость по данным      362
Завязывание узлов      81
Заголовочная нормальная форма (ЗНФ)      136
Задержка      218
Заключение в скобки аргументов      18
Заключение в скобки применений      91 123
Законченный частичный порядок      587
Запоминание для циклических структур      544
Запоминание как преобразование исходного текста      554
Знак вычеркивания      378
Идентификатор      210
Идентификатор, трансляция      183
Изменение на месте      577
Императивный язык      8
Интерпретация      207
Интерпретация let-выражений      213
Интерпретация letrec-выражений      215
Интерпретация абстракций      213
Интерпретация базовых величин      211
Интерпретация идентификаторов      212
Интерпретация применений      211 224 225
Интерпретация примитивных функций      212
Инфиксная функция/оператор      22 29
Истинностная величина      26
К-комбинатор      292
Каноническое лямбда-исчисление      149
Карринг      91 123
Карринг в декартовой замкнутой категории      347
Категорийная абстрактная машина (КАМ)      149
Категорийная комбинаторная логика (ККЛ)      326
Категорийный комбинатор      346
Категория      344
Квалификатор      31
Квалифицированное выражение      31 212
Квалифицированное выражение, трансляция      194
Квалифицирующее выражение      31
Код сопоставления      187
Кодомен      12 346
Комбинатор      291
Комбинатор $B^{\prime}$      306
Комбинатор $C^{\prime}$      306
Комбинатор $S^{\prime}$      305
Комбинатор $Y^{\prime}$      240
Комбинатор B      296
Комбинатор C      296
Комбинатор I      292
Комбинатор K      292
Комбинатор S      292
Комбинатор U      306
Комбинатор W      322
Комбинатор Y      141 144 239
Комбинатор категорийный      346
Комбинатор, создаваемый лямбда-удалением      327
Комбинаторная логика      292
Комбинирующая форма      107
Компиляция      386
Компиляция G-машины      423
Компиляция МФП-схемы      405
Композитор      297
Композиция      14 108 345
Композиция функционалов      510
Константа      108 392
Константа данных      34
Константная аппликативная форма (КАФ)      325
Конструктор данных      34
Конструктор хэширования      548
Конструкция      108
Контекст      138
Копирование лямбда-тел      126 267
Копирование потоковых конструкций      376
Кортеж      23 143
Кортеж, вершины графа представления      261
Кортеж, проверка типов      172
Кортеж, трансляция      185
Кортежирование      142
Куча      399 438
Ленивое вычисление      71 130 141
Ленивый гребень графа      263
Ленивый конструктор      85 140
Ленивый сборщик мусора      465
Линеаризация      525
Линеаризация функции      525 534
Лисп      95
Лисп, IF      98
Лисп, LAMBDA      99
Лисп, LETREC      98
Лисп, QUOTE      98
Лисп, атом      95
Лисп, лист      95
Литерал в образцах      41 200
Литерал в образцах лтрансляция      184
Локальный контекст      392
Макроинструкции G-машины      419
Максимальная циклическая структура      464
Максимальное свободное выражение      332
Мемо-таблица      476 540
Мемо-таблица локальная      549
Мемо-таблица, автоматическая генерация      552
Мемо-таблица, контроль размера      549—557
Мемо-таблица, просмотр аргументов      542
Мемо-таблица, сборка мусора      557
Мемо-функция      476 505
Мемо-функция ленивая      544—549
Мемо-функция полная      543 547
Метациклический интерпретатор      226
Механизм вызова      138
Минимальное свободное выражение      332
Мономорфный тип      156
Монотип      155
Мусор      266
Мусорная ячейка      441
МФП, архитектура абстрактной машины      396
МФП, генератор кода      402
МФП, индексные карты      406
МФП, ленивая версия      414
МФП, оптимизация авторекурсии      413
МФП, структура ядра      413
МФП, форматы кучи      400
МФП-система      389
Набор допущений      161
Набор допущений инструкций языка SIMPLE      403
Наивысший общий генератор      552
Наименьшая фиксированная точка      141
Накапливание параметров      40
Накапливающий параметр      39
Направленный ациклический граф (НАГ)      258
Направленный граф      53 257
Невидимый указатель      446
Неопределенная функция      13
Неперекрывающиеся образцы      186 195
Неперекрывающиеся образцы, трансляция      186
Неродовые переменные типа      191
Несогласованная пара      165
Номер уровня      336
Нормальная форма      122 128
Нормальная форма, единственность      133
Нормальный порядок рекурсии (НПР)      129 140
Ню-абстракция      173
Область значений функции      11
Область определения функции      11
Образец      38
Образец в лямбда-выражениях      58
Общее лямбда-удаление      341
Одношаговая редукция      131
Операционная семантика      119 226
Операция формирования программы      107
Оптимизирующий компилятор      473
Организация памяти      441
Отношение      528
Отношение PRED/pred      125
Отношение PROLOG      88
Параллельная машина      287 382 474 475
Параллельная редукция графов      287
Параллельный сборщик мусора      443
Параметр      13
Перекрывающиеся образцы      38
Переменная лямбда-связанная      159
Переменная свободная      132
Переменная связанная      132
Перестановщик      297
Побочная вершина      274
Побочные эффекты      17
Поверхностный тип      17
Подпространство      445
Подстановка      132
Подсчет скобок      332
Подчеркивание (_) в образцах      41 187 193
Подъем по гребню графа      279
Полиморфный тип      35 38
Политип      154
Полная ленивость      287 327 332 333
Полная функция      13
Полнота      575
Помеченное выражение      238
Порядок вычислений      71
Порядок редукций      128
Поток      359
Поток, управляемый данными      360
Поток, управляемый запросами      377
Потоковый граф (ПГ)      360
Правила знаков      563
Правила переписывания      38
Правила преобразования при редукции графов      370
Правила редукции комбинаторов      293
Правильно обоснованная индукция      12
Правильно определенная функция      12
1 2
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2020
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте