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)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2004
Highly Cited
2004
Operating system kernels are complex, critical, and difficult to test systems. The imperative nature of operating system… 
1995
1995
The vlisp project showed how to produce a comprehensively veriied implementation for a programming language, namely Scheme. This… 
Highly Cited
1995
Highly Cited
1995
The VLISP project showed how to produce a comprehensively verified implementation for a programming language, namely Scheme. This… 
1995
1995
This paper describes a verified compiler for PreScheme, the implementation language for thevlisp run-time system. The compiler… 
1995
1995
The VLISP project has produced a rigorously verified compiler from Scheme to byte codes, and a verified interpreter for the… 
1994
1994
In this dissertation we present a methodology for the veri cation of language implementations based on formal semantics. While… 
1993
1993
The Veri ed Programming Language Implementation Project developed a formally veri ed implementation of the Scheme programming… 
Review
1992
Review
1992
The Veri ed Programming Language Implementation project has developed a formally veri ed implementation of the Scheme programming… 
1992
1992
The Veri ed Programming Language Implementation project has developed a formally veri ed implementation of the Scheme programming… 
1978
1978
VCMC1 is a virtual machine designed to observe "in vitro" the behaviour of VLISP interpreters. VCMC1 is actually entirely…