Java executable formal semantics

Dear news-group members,


I am a French PhD student currently working on
Java formal semantics and I am particularly
interested in Java concurrency and multithreading.


I have written an executable formal semantics of a large subset of Java.
This semantics is now available (in html) at the url :


  http://www-sop.inria.fr/oasis/personnel/Marjorie.Russo/java/


As this semantics is executable, I have developped an execution
environment for Java which provides both textual and graphical views
of the objects. All these views are updated incrementally.


I would be pleased to get some feedback and
comments about this work.


Regards,


          Marjorie Russo

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