Skip to search formSkip to main contentSkip to account menu

PreScheme

Known as: Pre-Scheme 
PreScheme or Pre-Scheme is a statically-typed dialect of Scheme with the efficiency and low-level machine access of C while retaining many of the… 
Wikipedia (opens in a new tab)

Related topics

Related topics

3 relations
Closure (computer programming)SchemeSystem programming language

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Structural timber elements: a pre-scheme design guide
2011
2011
Taxation and International Migration of Top Earners: Evidence from the Foreigner Tax Scheme in Denmark
This paper analyzes the eects of income taxation on the international migration of top earners using the Danish preferential… 
2004
2004
A Verified Run-Time Structure for Pure PreScheme
This document gives a summary of activities under MITRE Corporation Contract Number F19628-89-C-0001. It gives an operational… 
2003
2003
Executing Verified Compiler Specification
Much work has been done in verifying a compiler specification, both in hand-written and mechanical proofs. However, there is… 
2003
2003
The design of pre-scheme for emergence response to sudden medical incident in hospital
Sudden medical incidents in hospital are of suddenness, mass and press, the go beyond the normal service ability of a hospital… 
Highly Cited
2002
Highly Cited
2002
DISAPPEARING TRAFFIC? THE STORY SO FAR
Reallocating roadspace from general traffic, to improve conditions for pedestrians or cyclists or buses or on-street light rail… 
1995
1995
The VLISP verified PreScheme compiler
This paper describes a verified compiler for PreScheme, the implementation language for thevlisp run-time system. The compiler… 
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… 
1994
1994
Advice On Structuring Compiler Back Ends And Proving Them Correct
In this dissertation we present a methodology for the veri cation of language implementations based on formal semantics. While… 
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… 
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)