[SAL] A question when using SAL

[harry huang]

Hi John,

The new tutorial is much better. I understand more of SAL. But would it 
possible to have a language manual that briefly describes how to use each 
semantics in SAL, such as "what is module?", "how to define the 
parameters(return value, etc)  in program ?", etc. Thanks.

Harry


>From: John Rushby <rushby at csl.sri.com>
>To: "harry huang" <harryh23 at hotmail.com>
>CC: tiwari at csl.sri.com, sal at csl.sri.com, rushby at csl.sri.com
>Subject: Re: [SAL] A question when using SAL
>Date: Sun, 18 Jun 2006 15:30:40 PDT
>
>Harry,
>
> > The language manual presents a good language parser tree, but how to
> > use even basic parts such as "IF... ELSE", "For", etc have not 
>explicatly
> > stated.
>
>OK.   We'll have to improve those descriptions.
>
>How about the tutorial: http://www.csl.sri.com/users/rushby/abstracts/om1 ?
>
>John
>