JavaScript Abstract Machine and Analysis
Standard ML Racket
Switch branches/tags
Nothing to show
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
test
util
.gitignore
Makefile
README
correspondence.rkt
delta.rkt
eq.rkt
jam-ck-deriv.sml
jam-deriv.sml
jam-ptr.rkt
jam.rkt
jam.sml
js.rkt
lang.rkt
unload.rkt
util.rkt

README

This program gives a formal model of the JavaScript abstract machine
and its program analysis framework.

Status: incomplete.