Семейство языков программирования Лисп

Вики

ACL2

/

ACL2 Обзор ACL2 ACL2 — это программная система для автоматизированных рассуждений в индуктивных логических теориях.  Язык программирования ACL2 является прикладной […]

Вики

МультиЛисп

/

Мультилисп Обзор MultiLisp MultiLisp — функциональный язык программирования, расширяющий Lisp для параллельных вычислений.  Язык обладает недетерминированными свойствами из-за побочных эффектов. 

Вики

ACL2

/

ACL2 Обзор ACL2 ACL2 — это программная система для автоматизированных рассуждений в индуктивных логических теориях.  Язык программирования ACL2 является прикладной

Вики

Интерлисп

/

Интерлисп История Interlisp Interlisp основан на языке программирования Lisp и разработан в 1966 году.  В 1970 году BBN LISP внедрен

Вики

ПОП-11

/

ПОП-11 Обзор языка программирования POP-11 POP-11 — это язык программирования с постепенно компилируемым и интерпретируемым функционалом.  Он разработан в Университете

Прокрутить вверх