Категория : Теория языков программирования

• Исследователи языков программирования ‎ ( 1 C, 109 P)

А

• Академические языки программирования ‎ ( 35 Б)

С

• Конструкция компилятора ‎ ( 5 С, 73 П)

Д

• Зависимо типизированное программирование ‎ ( 2 С, 13 П)

л

• Лямбда-исчисление ‎ ( 3 C, 49 P)

П

• Анализ программы ‎ ( 7 C, 22 P)
• Программа трансформации ‎ ( 3 С, 9 П)
• Языки программирования ‎ ( 60 C, 157 P)

Р

• Системы переписывания ‎ ( 5 C, 35 P)

С

• Семантика языка программирования ‎ ( 3 С, 17 Б)
• Замена (логика) ‎ ( 3 П)

Т

• Теория типов ‎ ( 4 C, 113 P)

С

• Незавершенные статьи по теории языков программирования ‎ ( 20 с.)

• Теория языка программирования

А

• Абстрактный синтаксис

Д

• Дивергенция (информатика)

Ф

• Первоклассная функция
• Программирование на функциональном уровне

ЧАС

• Абстрактный синтаксис высшего порядка

л

• Логическая ошибка
• Логика вычислимых функций

Н

• Нелокальная переменная

П

• POPLmark вызов
• Программирование вычислимых функций
• Код подтверждения

вопрос

• Принцип квалификации

Р

• Ссылочная прозрачность

С

• Семантическая ошибка
• Побочный эффект (информатика)
• Теорема о структурированной программе
• Синтаксическая ошибка

Т

• Полнота по Тьюрингу
• Типизированный язык ассемблера

V

• Вариативный