VLISP
Encyclopedia
VLISP refers to at least three distinct items.
These are, in no particular order:
These are, in no particular order:
- A LispLisp programming languageLisp is a family of computer programming languages with a long history and a distinctive, fully parenthesized syntax. Originally specified in 1958, Lisp is the second-oldest high-level programming language in widespread use today; only Fortran is older...
dialect implemented and formalized since 1971 at the University of Paris VIII - Vincennes, France. VLISP (for Vincennes LISP) interpreterInterpreter (computing)In computer science, an interpreter normally means a computer program that executes, i.e. performs, instructions written in a programming language...
s and compilerCompilerA compiler is a computer program that transforms source code written in a programming language into another computer language...
s were designed to run on small machines and were extremely fast. This VLISP led to Le-LispLe LispLe Lisp is a Lisp dialect close to Common Lisp; it is lexically scoped, with a CLOS-like object system and using both packages and modules. It was designed by Jerome Chailloux and Emmanuel St James of INRIA.-External links:...
. - A formally verifiedFormal verificationIn the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics .- Usage :Formal verification can be...
implementation of the SchemeScheme programming languageScheme is one of the two main dialects of the programming language Lisp. Unlike Common Lisp, the other main dialect, Scheme follows a minimalist design philosophy specifying a small standard core with powerful tools for language extension. Its compactness and elegance have made it popular with...
programming language (SchemeScheme programming languageScheme is one of the two main dialects of the programming language Lisp. Unlike Common Lisp, the other main dialect, Scheme follows a minimalist design philosophy specifying a small standard core with powerful tools for language extension. Its compactness and elegance have made it popular with...
is a dialect of LispLisp programming languageLisp is a family of computer programming languages with a long history and a distinctive, fully parenthesized syntax. Originally specified in 1958, Lisp is the second-oldest high-level programming language in widespread use today; only Fortran is older...
). - The "Visual Lisp" implementation included in recent versions of AutoCADAutoCADAutoCAD is a software application for computer-aided design and drafting in both 2D and 3D. It is developed and sold by Autodesk, Inc. First released in December 1982, AutoCAD was one of the first CAD programs to run on personal computers, notably the IBM PC...
.