KJS: Formal JS Semantics + Interpreter (via indolering) — discussion

#formalmethods #javascript #pdf