Richard Kelsey and Jonathan Rees. Scheme48 progress report. Submitted to LASC, 1993. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
The VLISP Verified Scheme System - Guttman, Swarup, Ramsdell (1995) (3 citations) (Correct)
....may be a compiler, which translates programs in the given language to programs in a lower level language; or it may be an interpreter, which is a program that executes the higher level language directly; or it may be a combination of the two. The vlisp implementation, being modeled on Scheme48 [10], is of this mixed type. It consists of: ffl A simple compiler that translates programs in the source language to target programs in an intermediate level byte code language; ffl An interpreter (written in a systems programming oriented dialect called PreScheme [10] to execute the resulting ....
....being modeled on Scheme48 [10] is of this mixed type. It consists of: ffl A simple compiler that translates programs in the source language to target programs in an intermediate level byte code language; ffl An interpreter (written in a systems programming oriented dialect called PreScheme [10]) to execute the resulting byte code programs; ffl A second compiler to translate the PreScheme code of the interpreter into assembly language code for a commercial workstation. This paper focuses on the first two items, which make up the implementation of Scheme. The third item, which ....
[Article contains additional citation context not shown here]
Richard A. Kelsey and Jonathan A. Rees. Scheme48 progress report. Manuscript in preparation, 1992.
Program Mobile Robots in Scheme - Rees, Donald (1992) (8 citations) Self-citation (Rees) (Correct)
....a development environment, which resides on a separate workstation. The two communicate with each other over a serial line. Figure 3 summarizes the major software components of the Scheme system. 3. 1 Run time environment The run time environment builds on the Scheme48 virtual machine architecture[12]. The virtual machine is byte code based and stack oriented, closely resembling the target machine of the Scheme 311 compiler[4] and similar in spirit to [8] The VM handles memory management: allocation instructions (such as cons) can cause garbage collections. The virtual machine is implemented ....
Richard Kelsey and Jonathan Rees. Scheme48 progress report. Manuscript in preparation.
VLISP: A Verified Implementation of Scheme - Guttman, Swarup, Ramsdell (1993) (17 citations) (Correct)
No context found.
Richard Kelsey and Jonathan Rees. Scheme48 progress report. Submitted to LASC, 1993.
The VLISP PreScheme Front End - Ramsdell, Farmer, Guttman, Monk.. (1992) (1 citation) (Correct)
No context found.
Richard Kelsey and Jonathan Rees. Scheme48 progress report. Manuscript in preparation, 1992.
The Revised VLISP PreScheme Front End - Ramsdell (1993) (1 citation) (Correct)
No context found.
Richard Kelsey and Jonathan Rees. Scheme48 progress report. Manuscript in preparation, 1992.
A Guide to VLISP, A Verified Programming Language.. - Guttman, Monk.. (1992) (Correct)
No context found.
Richard Kelsey and Jonathan Rees. Scheme48 progress report. Manuscript in preparation, 1992.
LISP AND SYMBOLIC COMPUTATION: An International Journal.. - Results And Conclusions (Correct)
No context found.
Richard Kelsey and Jonathan Rees. Scheme48 progress report. Manuscript in preparation, 1992.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC