Structural operational semantics and OO implementation

I am working on a project implementing an object oriented database programming
language from its structural operational semantics using E/EXODUS (a
persistent version of C++).


I have three questions that I hope the net can help me to answer, preferably
with some bibliographical references:


Does anybody know...


      1. ... of object oriented languages defined in terms of
            their structural operational semantics?


      2. ... of compilers/interpreters implemented using an object oriented
            language?


      3. ... of any language both defined in terms of structural operational
            semantics and implemented in an object oriented fashion (i.e. a
            combination of 1. and 2.)?


Please answer by e-mail. If there is interest, I will summarise the responses
to the net.


Thanks in advance,
------------------------------------------------------------------------------
M L Barja Database Research Group
email : marisa@cee.hw.ac.uk Department of Computing and EEng.
phone : (+44)(0)31 449 5111 ext 4191 Heriot-Watt University
                                                                                  Riccarton, Edinburgh EH14 4AS, U.K.
--

Return to the comp.compilers page.
Search the comp.compilers archives again.