2017-07-30T05:19:21+03:00[Europe/Moscow]entrueClojure, Common Lisp, Lisp (programming language), S-expression, Macintosh Common Lisp, AI winter, Lisp Machine Lisp, S-1 Lisp, CommonLoops, Little b (programming language), Prototype Verification Systemflashcards
Clojure (pronunciation: /ˈkloʊʒɜːr/, like "closure"), or ClojureScript, is a dialect of the Lisp programming language created by Rich Hickey.
Common Lisp
Common Lisp (CL) is a dialect of the Lisp programming language, published in ANSI standard document ANSI INCITS 226-1994 (R2004) (formerly X3.226-1994 (R1999)).
Lisp (programming language)
Lisp (historically, LISP) is a family of computer programming languages with a long history and a distinctive, fully parenthesized prefix notation.
S-expression
In computing, s-expressions, sexprs or sexps (for "symbolic expression") are a notation for nested list (tree-structured) data, invented for and popularized by the programming language Lisp, which uses them for source code as well as data.
Macintosh Common Lisp
Macintosh Common Lisp (MCL) is an implementation and IDE for the Common Lisp programming language.
AI winter
In the history of artificial intelligence, an AI winter is a period of reduced funding and interest in artificial intelligence research.
Lisp Machine Lisp
Lisp Machine Lisp is a dialect of the Lisp programming language.
S-1 Lisp
S-1 Lisp was an Lisp implementation written in Lisp for the 36-bit pipelined S-1 Mark IIA supercomputer computer architecture, which has 32 megawords of RAM.
CommonLoops
CommonLoops (the Common Lisp Object-Oriented Programming System; an acronym reminiscent of the earlier Lisp OO system "Loops" for the Interlisp-D system) is an early programming language which extended Common Lisp to include Object-oriented programming functionality and is a dynamic object system which differs from the OOP facilities found in static languages such as C++ or Java.
Little b (programming language)
Little b is a domain-specific programming language, more specifically, a modeling language, designed to build modular mathematical models of biological systems.
Prototype Verification System
The Prototype Verification System (PVS) is a specification language integrated with support tools and an automated theorem prover, developed at the Computer Science Laboratory of SRI International in Menlo Park, California.
Clojure (pronunciation: /ˈkloʊʒɜːr/, like "closure"), or ClojureScript, is a dialect of the Lisp programming language created by Rich Hickey.
Common Lisp
Common Lisp (CL) is a dialect of the Lisp programming language, published in ANSI standard document ANSI INCITS 226-1994 (R2004) (formerly X3.226-1994 (R1999)).
Lisp (programming language)
Lisp (historically, LISP) is a family of computer programming languages with a long history and a distinctive, fully parenthesized prefix notation.
S-expression
In computing, s-expressions, sexprs or sexps (for "symbolic expression") are a notation for nested list (tree-structured) data, invented for and popularized by the programming language Lisp, which uses them for source code as well as data.
Macintosh Common Lisp
Macintosh Common Lisp (MCL) is an implementation and IDE for the Common Lisp programming language.
AI winter
In the history of artificial intelligence, an AI winter is a period of reduced funding and interest in artificial intelligence research.
Lisp Machine Lisp
Lisp Machine Lisp is a dialect of the Lisp programming language.
S-1 Lisp
S-1 Lisp was an Lisp implementation written in Lisp for the 36-bit pipelined S-1 Mark IIA supercomputer computer architecture, which has 32 megawords of RAM.
CommonLoops
CommonLoops (the Common Lisp Object-Oriented Programming System; an acronym reminiscent of the earlier Lisp OO system "Loops" for the Interlisp-D system) is an early programming language which extended Common Lisp to include Object-oriented programming functionality and is a dynamic object system which differs from the OOP facilities found in static languages such as C++ or Java.
Little b (programming language)
Little b is a domain-specific programming language, more specifically, a modeling language, designed to build modular mathematical models of biological systems.
Prototype Verification System
The Prototype Verification System (PVS) is a specification language integrated with support tools and an automated theorem prover, developed at the Computer Science Laboratory of SRI International in Menlo Park, California.
Studylib tips
Did you forget to review your flashcards?
Try the Chrome extension that turns your New Tab screen into a flashcards viewer!
The idea behind Studylib Extension is that reviewing flashcards will be easier if we distribute all flashcards reviewing into smaller sessions throughout the working day.