Laboratoire de l'informatique du parallélisme; Lang, Frédéric; Lescanne, Pierre; Liquori, Luigi
(1998-12)
(eng) In this paper, we give a general framework for the foundation of an operational (small step) semantics of object-based languages with an emphasis on functional and imperative issues. The framework allows classifying ...