Эрабль
Стираемый История и развитие Erable Erable — это система компьютерной алгебры, разработанная для HP 40, 48 и HP 49/50. Изначально […]
Незавершённые темы по языкам программирования
Вики
Столкновение имен
Столкновение имен Проблема коллизий имен в программировании Коллизия имен возникает, когда одно и то же имя переменной используется в разных
Вики
Система проверки прототипа
Система верификации прототипа Основы PVS PVS — это язык спецификаций с автоматизированной проверкой теорем, разработанный в SRI International. Основана на
Вики
НПЛ (язык программирования)
NPL (язык программирования) История и особенности NPL NPL — функциональный язык программирования, разработанный в 1977 году Родом Берстоллом и Джоном