Towards a denotational semantics for a reflective Scheme - An implementation of the towerless model

Abstract

16 pagesA denotational description of a reflective schemeThis paper presented a Flat Reflexive Scheme Interpreter (FRSI) by means of which process migration was performed in a prototypic system for dynamic migration of programs. The implementation of this interpreter was based on the semantical description of the underlying language. A conclusion of this paper is that it is not possible to give an usual structural denotational description of reflective languages. Nevertheless, we have given here what we have called a relative denotational semantics of this language