Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
1995
1995
The VLISP project showed how to produce a comprehensively verified implementation for a programming language, namely Scheme. This… Expand
Is this relevant?
1995
1995
This paper describes a verified compiler for PreScheme, the implementation language for thevlisp run-time system. The compiler… Expand
Is this relevant?
1995
1995
The VLISP project has produced a rigorously verified compiler from Scheme to byte codes, and a verified interpreter for the… Expand
Is this relevant?
1995
1995
A Slab and Cant Mill for cutting of lumber from whole logs and having a log carriage with log dogging device, multiple saws, a… Expand
Is this relevant?
1995
1995
The vlisp project showed how to produce a comprehensively veriied implementation for a programming language, namely Scheme. This… Expand
Is this relevant?
1995
1995
The VL!SP project showed how to produce a comprehensively verified implementation for a programming language, namely Scheme. This… Expand
Is this relevant?
1993
1993
The Veri ed Programming Language Implementation Project developed a formally veri ed implementation of the Scheme programming… Expand
  • figure 2.2
  • figure 3.2
  • figure 4.1
  • figure 5.1
Is this relevant?
1992
1992
The Veri ed Programming Language Implementation project has developed a formally veri ed implementation of the Scheme programming… Expand
  • table 1
Is this relevant?
1992
1992
The Veri ed Programming Language Implementation project has developed a formally veri ed implementation of the Scheme programming… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Review
1992
Review
1992
The Veri ed Programming Language Implementation project has developed a formally veri ed implementation of the Scheme programming… Expand
  • table 1
  • table 2
  • figure 1
  • table 3
  • table 4
Is this relevant?