Pre-Scheme: A Scheme Dialect for Systems Programming

by: R Kelsey

View FullText article

CiteSeer (at Penn State), CiteSeer (at MIT), CiteSeer (at Zurich), CiteSeer (at Singapore)

Reviews [Write a review of this article]

There are no reviews of this article

Find related articles from these CiteULike users

hamish, JeffreyPalmer, pejo

Find related articles with these CiteULike tags

compilers, languageimplementation, language-implementation, lisp, partialevaluation, partial-evaluation, scheme, staticanalysis

Abstract

Pre-Scheme is a statically typed dialect of Scheme that gives the programmer the efficiency and lowlevel machine access of C while retaining many of the desirable features of Scheme. The PreScheme compiler makes use of type inference, partial evaluation and Scheme and Lisp compiler technology to compile the problematic features of Scheme, such as closures, into C code without significant run-time overhead. Use of such features in Pre-Scheme programs is restricted to those cases that can be...

@misc{citeulike:201596, abstract = {Pre-Scheme is a statically typed dialect of Scheme that gives the programmer the efficiency and lowlevel machine access of C while retaining many of the desirable features of Scheme. The PreScheme compiler makes use of type inference, partial evaluation and Scheme and Lisp compiler technology to compile the problematic features of Scheme, such as closures, into C code without significant run-time overhead. Use of such features in Pre-Scheme programs is restricted to those cases that can be...}, author = {Kelsey, R. }, citeulike-article-id = {201596}, keywords = {languageimplementation, lisp, partialevaluation, scheme}, posted-at = {2005-05-18 09:30:13}, priority = {2}, title = {Pre-Scheme: A Scheme Dialect for Systems Programming}, url = {http://citeseer.ist.psu.edu/kelsey97prescheme.html} }

RIS record

TY - GEN ID - citeulike:201596 TI - Pre-Scheme: A Scheme Dialect for Systems Programming N2 - Pre-Scheme is a statically typed dialect of Scheme that gives the programmer the efficiency and lowlevel machine access of C while retaining many of the desirable features of Scheme. The PreScheme compiler makes use of type inference, partial evaluation and Scheme and Lisp compiler technology to compile the problematic features of Scheme, such as closures, into C code without significant run-time overhead. Use of such features in Pre-Scheme programs is restricted to those cases that can be... KW - languageimplementation KW - lisp KW - partialevaluation KW - scheme AU - Kelsey, R UR - http://citeseer.ist.psu.edu/kelsey97prescheme.html ER -

RIS BibTeX