Facts(t) Stack(y, l 1 ) - Stanford CS Theory - Stanford University

Much simpler than JSLint, FBJS, Caja ! SESlight Filter & Rewriter. s. eval(s,”api”). Untrusted. Theorem: α-renaming of bound variables is semantics preserving.
展开查看详情
user picture
寻梦者@
+关注
Apparently, this user prefers to keep an air of mystery about them.
已将链接复制至剪贴板
相关文档