Система проверки прототипа
Система верификации прототипа Основы PVS PVS – это язык спецификаций с автоматизированной проверкой теорем, разработанный в SRI International. Основана на […]
Вики
Lisp (язык программирования)
Вики
Цикл чтение-оценка-печать
Цикл чтения–оценки–печати Основы REPL REPL – это интерактивная среда для программирования, которая оценивает вводимые пользователем данные и возвращает результаты. REPL
Вики
Структура и интерпретация компьютерных программ
Структура и интерпретация компьютерных программ Обзор книги “Структура и интерпретация компьютерных программ” Книга написана профессорами MIT и известна в хакерской
Вики
Общий Лисп
Обычная шепелявость Основы программирования на Common Lisp Common Lisp – это язык программирования, который сочетает в себе функциональное и объектно-ориентированное