Skip to search formSkip to main content
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
Is this relevant?
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
Is this relevant?
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
Is this relevant?
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
Is this relevant?
2003
2003
Sudden medical incidents in hospital are of suddenness, mass and press, the go beyond the normal service ability of a hospital… Expand
Is this relevant?
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
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 veriied compiler from Scheme to byte codes, and a veriied interpreter for the… Expand
Is this relevant?
1994
1994
In this dissertation we present a methodology for the veri cation of language implementations based on formal semantics. While… 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?