jscesk

a CESK machine for JS

toshok/echojs needs a static analysis
framework to enable things like:

• lightweight closure conversion
• type specialization
• inlining

AAM ("Abstracting Abstract Machines") provides a means of mechanically
translating an Abstract Machine implementing a language's concrete
semantics into a machine implementing the abstract semantics.

a CESK machine is a good first step toward this goal, so here begins
my experiment.