PreScheme

From Wikipedia, the free encyclopedia

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 desirable features of Scheme.

Contents 1 Macro-Free PreScheme 2 Pure PreScheme 3 VLISP PreScheme 4 Simple PreScheme 5 References

[edit] Macro-Free PreScheme

Macro-Free PreScheme is obtained from Full PreScheme by expanding all macros.

[edit] Pure PreScheme

Pure PreScheme is a tail-recursive, closure-free dialect of PreScheme, obtained from Macro-Free PreScheme by hoisting lambda expressions and beta expansion.

[edit] VLISP PreScheme

[edit] Simple PreScheme

[edit] References

• A Verified Compiler for Pure PreScheme (1991)
• A Guide to VLISP, A Verified Programming Language Implementation (1992)
• A Verified Run-Time Structure for Pure PreScheme (1992)
• The VLISP PreScheme Front End (1992)
• The Revised VLISP PreScheme Front End (1993)
• A Tractable Scheme Implementation (1993)
• Tail-Recursive Stack Disciplines for an Interpreter (1993)
• The VLISP Verified Scheme System (1995)
• A Verified Compiler for Multithreaded PreScheme (1996)
• Pre-Scheme: A Scheme Dialect for Systems Programming (1997)