Языки
Языки моделирования / Языки высокого уровня

Языковые абстракции
Абстракция данных / Данные и типы данных
Полиморфизм / Статический и динамический контроль
Статически и динамически типизируемые языки

Абстракции управления
Визуальное структурное программирование
Операторы перехода / итерации / исключения
Зависимости по управлению и по данным

Абстракция модульности
Модульное программирование / Определения модуля

Классы языков
Императивные / Низкого уровня / Ассемблеры
Макропроцессоры / Высокого уровня

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

Объектно-ориентированные
Концепция стpуктуpизации в языках пpогpаммиpования
Спецификация объектов на основе абстpагиpования
Идентификация объектов / Интеpпpетация объектов
Создание / уничтожение объектов / Процессы в объектах

Теория языков
Типы формальных грамматик / Дерево выводов
Способы задания схем грамматик / Приемы построения
Порождающие грамматики / Грамматики общего вида
Контекстно - зависимые / свободные грамматики
Эквивалентные преобразования КС-грамматик
Автоматные грамматики / Предикативные грамматики

Автоматы
Конечные / Магазинные автоматы / Машины Тьюринга

Распознаватели
Разбор / Трансляция / Интерпретация / Генерация кода