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