VLISP

VLISP refers to at least three distinct items.These are, in no particular order:A Lisp dialect implemented and formalized since 1971 at the University of Paris VIII - Vincennes, France. VLISP (for Vincennes LISP) interpreters and compilers were designed to run on small machines and were extremely fast. This VLISP led to Le-Lisp.A formally verified implementation of the Scheme programming language (Scheme is a dialect of Lisp).The ”Visual Lisp” implementation included in recent versions of AutoCAD.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 7 articles , 1 standard article )

Showing results 1 to 7 of 7.
Sorted by year (citations)

  1. Myreen, Magnus O.; Davis, Jared: A verified runtime for a verified theorem prover (2011)
  2. Leroy, Xavier: A formally verified compiler back-end (2009)
  3. Myreen, Magnus O.; Gordon, Michael J.C.: Verified LISP implementations on ARM, x86 and PowerPC (2009) ioport
  4. Barthe, Gilles; Grégoire, Benjamin; Kunz, César; Rezk, Tamara: Certificate translation for optimizing compilers (2006)
  5. van Engelen, Robert; Whalley, David; Yuan, Xin: Automatic validation of code-improving transformations on low-level program representations (2004)
  6. Guttman, Joshua D. (ed.); Wand, Mitchell (ed.): VLISP. A verified implementation of scheme (1995)
  7. Guttman, Joshua D.; Ramsdell, John D.; Wand, Mitchell: VLISP: A verified implementation of scheme. (1995) ioport