[Date Prev][Date Next][Thread Prev][Thread Next]
- Subject: Re: semantics of lua
- From: roberto@... (Roberto Ierusalimschy)
- Date: Tue, 22 Aug 2006 12:28:20 -0300
> I'd like to know if the semantics of lua was described in any kind of
> formal method. I noticed that the complete syntax of lua is in the
> reference manual, but I also like to know if there is something about
> the semantics.
Not that I know. But I think Norman Ramsey was interested in writing one.