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

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Large supermarket chains can offer lower prices through economies of scale but their size can be a disadvantage when CSR issues… Expand
2011
2011
This paper analyzes the eects of income taxation on the international migration of top earners using the Danish preferential… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
2011
2011
Self-healing is one of the main features for achieving the development planning of Strong Smart Grid, which leads to the… Expand
  • figure 1
  • figure 2
2004
2004
This document gives a summary of activities under MITRE Corporation Contract Number F19628-89-C-0001. It gives an operational… Expand
  • figure 2
  • figure 4
2003
2003
Much work has been done in verifying a compiler specification, both in hand-written and mechanical proofs. However, there is… Expand
  • figure 1
  • table 1
  • table 2
Highly Cited
2002
Highly Cited
2002
Reallocating roadspace from general traffic, to improve conditions for pedestrians or cyclists or buses or on-street light rail… Expand
  • table 1
  • figure 2
  • figure 1
  • figure 3
  • figure 4
1995
1995
This paper describes a verified compiler for PreScheme, the implementation language for thevlisp run-time system. The compiler… Expand
1995
1995
The vlisp project has produced a rigorously veriied compiler from Scheme to byte codes, and a veriied interpreter for the… Expand
1994
1994
In this dissertation we present a methodology for the veri cation of language implementations based on formal semantics. While… Expand
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