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