lua-users home
lua-l archive

[Date Prev][Date Next][Thread Prev][Thread Next] [Date Index] [Thread Index]


On Fri, Jul 9, 2010 at 6:42 PM, Everett L Williams II
<rett@classicnet.net> wrote:
> constructed. I am not sure that something like lua can be fully statically
> analyzed, but the rule structure for variable reference can certainly be
> made much simpler and more likely to yield to simpler analysis than is now
> necessary.

Full analysis is probably impossible[1], but static analysis can be
'good enough' for most purposes. It's certainly a lot easier if we
have only have local refs to deal with.

But, there is a limit of about 200 for the number of local variables
per chunk [2]  So one could realistically hit some hard limits.

steve d.

[1] http://lua-users.org/lists/lua-l/2008-02/msg01256.html (Norman Ramsey)
[2] http://lua-users.org/lists/lua-l/2009-06/msg00410.html