Oz Language Specification

[Peter Van Roy]

Torsten Anders wrote:
> On Wednesday 23 May 2007 13:29:55 Bob Calco wrote:
>   
>> create the formal language specification
>>     
>
> You may want to look at the appendix of CTM.
>
> Best,
> Torsten
>
>   
You mean chapter 13, which gives a formal semantics for the
complete Oz kernel language.  To this has to be added the
semantics for the library operations (appendix B, which talks
about the Base modules), the constraint operations (spaces, in
chapter 12), and the distribution subsystem (thesis of Raphael
Collet, which should be out this year together with the new
DSS).  Together, this forms a simple core semantics.  It's
factored: if you don't want constraints or distribution, then you
can just leave out those parts.  The kernel language of chapter 13
is the real heart that should always be kept.

The System module semantics extends this a lot because it
touches on many external abilities (e.g., operating system,
compiler, etc.).  This semantics should be kept separate from
the core.

Peter