[SAL] A question when using SAL
harryh23 at hotmail.com
Mon Jun 19 12:48:20 PDT 2006
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.
>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
> > The language manual presents a good language parser tree, but how to
> > use even basic parts such as "IF... ELSE", "For", etc have not
> > stated.
>OK. We'll have to improve those descriptions.
>How about the tutorial: http://www.csl.sri.com/users/rushby/abstracts/om1 ?
More information about the SAL