Языки
Языки моделирования / Языки высокого уровня
Языковые абстракции
-Абстракция данных / Данные и типы данных
-Полиморфизм / Статический и динамический контроль
-Статически и динамически типизируемые языки
Абстракции управления
-Визуальное структурное программирование
-Операторы перехода / итерации / исключения
-Зависимости по управлению и по данным
Абстракция модульности
-Модульное программирование / Определения модуля
Классы языков
-Императивные / Низкого уровня / Ассемблеры
-Макропроцессоры / Высокого уровня
Семейства языков
-Универсальные языки / Уникальные языки
-Языки параллельного программирования
-Языки ориентированные на предметную область
-Языки форматирования текстов / Разметки / Скриптов
-Промежуточные языки / Программирования агентов
-Языки создания графики / Языки описания аппаратуры
-Оисания виртуальной реальности / Конфигурирования
-Декларативные / Функциональные / Логические
-Строгая типизация / Модульность / Структуры данных
-Нотация абстрактного языка / Образцы и клозы / Охрана
-Локальные переменные / Элементы программирования
-Построение определений с накапливающим параметром
-Конструирование функций / Формальные системы
-Стратегия редукции / Трансформация программ
Виды преобразований / Частичные вычисления
-Проблема завершения программ / Порядок целей
Объектно-ориентированные
-Концепция стpуктуpизации в языках пpогpаммиpования
-Спецификация объектов на основе абстpагиpования
-Идентификация объектов / Интеpпpетация объектов
-Создание / уничтожение объектов / Процессы в объектах
Теория языков
-Типы формальных грамматик / Дерево выводов
-Способы задания схем грамматик / Приемы построения
-Порождающие грамматики / Грамматики общего вида
-Контекстно - зависимые / свободные грамматики
-Эквивалентные преобразования КС-грамматик
-Автоматные грамматики / Предикативные грамматики
Автоматы
-Конечные / Магазинные автоматы / Машины Тьюринга
Распознаватели
-Разбор / Трансляция / Интерпретация / Генерация кода
