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

Catherine Recanati (1) , Alain Deutsch

1 LIPN - Laboratoire d'Informatique de Paris-Nord

This 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.

Mots clés: reflective language; denotational semantics

Domaines: Langage de programmation [cs.PL]

Catherine Recanati, Alain Deutsch. Towards a denotational semantics for a reflective Scheme - An implementation of the towerless model. 1987. ⟨hal-00165673⟩