Programming language theory

Вики

Код подтверждения

/

Подтверждающий код Основы подтверждающего кода Подтверждающий код (PCC) используется для проверки приложений на соответствие политике безопасности хост-системы.  PCC позволяет быстро […]

Вики

Конкурс POPLmark

/

Вызов Поплмарку Обзор POPLmark challenge POPLmark challenge — это набор тестов для оценки автоматизированного мышления в области языков программирования.  Цель

Вики

Первоклассная функция

/

Первоклассная функция Определение и важность первоклассных функций Первоклассные функции позволяют передавать функции как аргументы и возвращать их как значения.  Они

Вики

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

/

Программирование на функциональном уровне Парадигмы программирования Функциональное программирование и ценностное программирование — две основные парадигмы, описанные Джоном Бэкусом.  Бэкус критиковал

Вики

Полнота по Тьюрингу

/

Полнота по Тьюрингу Определение и история Полнота по Тьюрингу описывает способность компьютера выполнять все вычислимые функции.  Алан Тьюринг сформулировал идею

Вики

Теорема о структурированной программе

/

Теорема о структурированной программе Доказательство Бема-Якопини Доказательство, что любая программа может быть преобразована в структурированную программу без добавления дополнительных переменных. 

Вики

Побочный эффект (информатика)

/

Побочный эффект (информатика) Побочный эффект в информатике — это наблюдаемый эффект, отличный от основного эффекта операции или выражения.  Примеры побочных

Вики

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

/

Ссылочная прозрачность Ссылочная прозрачность и непрозрачность ссылок — свойства лингвистических конструкций и языков.  Лингвистическая конструкция называется ссылочно прозрачной, если замена

Вики

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

/

Теория языков программирования Теория языков программирования (PLT) изучает и разрабатывает языки программирования.  PLT имеет множество областей исследований, включая формальную семантику,

Прокрутить вверх