Введение

Глава I. ПРОГРАММИРОВАНИЕ НА РЕФАЛЕ ПЛЮС

1.1. Первый пример

1.2. Структуры данных

1.3. Вычисление и анализ объектных выражений

1.4. Функции определяемые в программе

1.5.Неуспехи и аварии

1.6.Логические условия

1.7.Использование селекторов прямого доступа

1.8.Функции, выдающие несколько результатов

1.9.Итеративные циклы

1.10.Перебор с возвратом

1.11.Пример: компилятор для простого императивного языка

Глава 2. СИНТАКСИС И СЕМАНТИКА РЕФАЛА ПЛЮС

2.1.Нотация для записи синтаксиса

2.2.Естественный метод описания семантики

2.3.Лексическая структура программы

2.4.Объекты и значения

2.5.Объектные выражения

2.6.Значения переменных и среды

2.7.Результатные выражения

2.8.Образцы

2.9.Жесткие выражения

2.10.Тропы

2.11.Определения функций

2.12.Объявления

2.13.Контекстные ограничения

2.14.Модули

2.15.Исполнение программы

Глава 3. БИБЛИОТЕКА ФУНКЦИЙ

ЛИТЕРАТУРА

АЛФАВИТНЫЙ УКАЗАТЕЛЬ ФУНКЦИЙ