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