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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1978-2011
024619782011

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
1995
1995
It's coming again, the new collection that this site has. To complete your curiosity, we offer the favorite vlisp a verified… (More)
Is this relevant?
1995
1995
The vlisp project has produced a rigorously veriied compiler from Scheme to byte codes, and a veriied interpreter for the… (More)
Is this relevant?
1995
1995
The vlisp project showed how to produce a comprehensively veriied implementation for a programming language, namely Scheme. This… (More)
Is this relevant?
1995
1995
The VL!SP project showed how to produce a comprehensively verified implementation for a programming language, namely Scheme. This… (More)
Is this relevant?
1992
1992
The Veri ed Programming Language Implementation project has developed a formally veri ed implementation of the Scheme programming… (More)
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1992
1992
The Veri ed Programming Language Implementation project has developed a formally veri ed implementation of the Scheme programming… (More)
Is this relevant?
1992
1992
The Veri ed Programming Language Implementation project has developed a formally veri ed implementation of the Scheme programming… (More)
Is this relevant?
1984
1984
Our aim is to propose a few hints for an implementation of SMALLTALK objects in lvLlspl We study in particular the unique LISP… (More)
Is this relevant?
1979
1979
This study presents the realization of three systems VLISP (a dialect of LISP) developped at the University of Paris 8… (More)
Is this relevant?
1978
1978
VCMC1 is a virtual machine designed to observe "in vitro" the behaviour of VLISP interpreters. VCMC1 is actually entirely… (More)
Is this relevant?