РефалАБ. Руководство пользователя

Язык программирования РефалАБ (RefalAB) является диалектом языка Рефал-2.

Данное руководство основанно на работе [1].

Содержание

1. Описание языка

• Введение
• 1.1. Назначение языка
• 1.2. Обрабатываемые данные
• 1.3. Функции
• 1.4. Переменные
• 1.5. Рекурсивные функции
• 1.6. Снятие неоднозначности при отождествлении
• 1.7. Спецификаторы переменных
• 1.8. Общая структура программы
• 1.9. Пустые функции
• 1.10. Эквивалентные имена
• 1.11. Модули
• 1.12. Первичные функции
• 1.13. Копилка
• 1.14. Статические и динамические ящики

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. Функции и спецификаторы, специфичные для сред Windows и POSIX
• 2.13. Системные функции
• 2.14. Функции для работы со случайными числами
• 2.15. Пустые функции
• 2.16. Описание функций
• 2.17. Описание пустых функций
• 2.18. Описание спецификаторов

3. Интерфейс РефалАБ и Си

• Введение
• 3.1. Обработка ошибок
• 3.2. Представление выражений в памяти машины
• 3.3. Доступ к полям звена из программы на Си
• 3.4. Представление функциональных скобок в списковой памяти
• 3.5. Представоение ящиков в списковой памяти
• 3.6. Печать выражений
• 3.7. Процессы
• 3.8. Общий блок refal
• 3.9. Инициализация РефалАБ-машины
• 3.10. Пространство списковой памяти и список свободных звеньев
• 3.11. Таблица состояния процесса
• 3.12. Создание и уничтожение процессов
• 3.13. Запуск процессов
• 3.14. Примеры управления процессами
• 3.15. Сборка мусора
• 3.16. Динамический захват списковой памяти
• 3.17. Вызов программы на Си из РефалАБ-программы
• 3.18. Написание первичных функций на Си
• 3.19. Обработка выражений в первичных функциях
• 3.20. Примеры первичных функций на Си
• 3.21. Опции интерпретатора
• 3.22. Аргументы командной строки

4. Компиляция и исполнение РефалАБ-программ

• Введение
• 4.1. Сборка РефалАБ-системы
  • 4.1.1. Windows
  • 4.1.2. POSIX
• 4.2. РефалАБ-система на ПК
  • 4.2.1. Windows
  • 4.2.2. POSIX
• 4.3. Подготовка исходных текстов РефалАБ-программ
• 4.4. Компиляция РефалАБ-модулей
• 4.5. Компиляция модулей первичных функций на Си
• 4.6. Исполнение РефалАБ-программ
• 4.7. Средства отладчика
  • 4.7.1. Вызов отладчика
  • 4.7.2. Управление остановом
  • 4.7.3. Управление прокруткой
  • 4.7.4. Перехват останова по неотождествлению

Приложения

• Приложение А. Алфавитный список библиотечных функций
• Приложение Б. Алфавитный список библиотечных пустых функций
• Приложение В. Алфавитный список библиотечных спецификаторов
• Приложение Г. Алфавитный список интерфейсных функций
• Приложение Д. Список использованных источников

This site is open source. Improve this page.