Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

6 relations
AutoCADCompilerFormal verificationInterpreter (computing)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
VLISP Lofting Program for Ellipsoidal Head Adapting Pipe
The program to extend the ellipsoidal head adapting pipe for pressure vessels was write with Autolisp from AutoCAD,and practical… 
2010
2010
Secondary Exploration and Application of CAD Based on VLISP
This paper analysed the basic method and thought about editing map on AutoCAD secondary exploration. Using AutoCAD to make symbol… 
2005
2005
Parametric drawing system for realizing mechanical parts based on cross program of ObjectARX and VLISP
A development method of the parametric drawing system for the stan da rd mechanical parts using Visual C++6.0 and cross program… 
1995
1995
VLISP A Verfied Implementation of Scheme
The VL!SP project showed how to produce a comprehensively verified implementation for a programming language, namely Scheme. This… 
1995
1995
{78 () the Vlisp Veriied Scheme System *
The vlisp project has produced a rigorously veriied compiler from Scheme to byte codes, and a veriied interpreter for the… 
1993
1993
The Revised VLISP PreScheme Front End
The Veri ed Programming Language Implementation Project developed a formally veri ed implementation of the Scheme programming… 
1992
1992
The VLISP Linker
The Veri ed Programming Language Implementation project has developed a formally veri ed implementation of the Scheme programming… 
1992
1992
The VLISP Image Builder
The Veri ed Programming Language Implementation project has developed a formally veri ed implementation of the Scheme programming… 
1983
1983
Vocal Interface for a Man-Machine Dialog
We describe a dialogue-handling module used as an interface between a vocal terminal and a task-oriented device (for instance: a… 
1978
1978
Technical notes: a VLISP interpreter on the VCMC1 machine
VCMC1 is a virtual machine designed to observe "in vitro" the behaviour of VLISP interpreters. VCMC1 is actually entirely… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)