Mozart VM docs?

[Jorge Andrés Pérez P.]

Following the OZ Machine documentation issue: How supplementary the two thesis
are? I mean, if both of them describes the OZ VM, there must be important
differences betwen them. I guess that both thesis must have diferent approaches
and interests. Which are such approaches? This is more important since the
Scheidhauer's Thesis is written in german and I don'r read german (and no more
documents about that thesis are available).

Thanks,

Jorge A. Pérez

Mensaje citado por Denys Duchier <duchier at ps.uni-sb.de>:

> japerezp at puj.edu.co (Jorge Andrés Pérez P.) writes:
> 
> > Talking about OZ Virtual Machine: What's the relationship between
> > the two thesis and the actual OZ Virtual Machine?
> 
> Ralf and Michael developed the core of the Oz virtual machine.  Their
> respective theses describe this work.  In principle, they describe
> exactly the Oz VM down to the very instructions.  In practice, there
> is of course a bit of cleaning up and idealization as must be the case
> in a doctoral thesis.  Also, the Oz VM has not stood still, so that,
> occasionally, something that e.g. Ralf describes may have become
> obsolete (I think this happened e.g. for the "case" statement, where
> we subsequently simplified the operational semantics, and thus the VM
> too).
> 
> > By the way, is there any article about Scheidhauer's Thesis in
> > English?
> 
> sorry, no :-(
> but, for entertainment value, you could always pipe it through
> babelfish... ahem...
> 
> Cheers,
> 
> -- 
> Dr. Denys Duchier
> Équipe Calligramme
> LORIA, Nancy, FRANCE
> -
> Please send submissions to users at mozart-oz.org
> and administriva mail to users-request at mozart-oz.org.
> The Mozart Oz web site is at http://www.mozart-oz.org/.
> Please send bug reports to bugs at mozart-oz.org.
> 




-------------------------------------------------
This mail sent through IMP: http://horde.org/imp/

-
Please send submissions to users at mozart-oz.org
and administriva mail to users-request at mozart-oz.org.
The Mozart Oz web site is at http://www.mozart-oz.org/.
Please send bug reports to bugs at mozart-oz.org.