摄影 亚瑟·查古埃罗（Arthur Charguéraud） 丹尼尔·菲拉雷蒂 菲利普·加德纳 塞尔吉奥·马菲斯 Daiva Naudziuniene公司 阿兰·施密特 加雷斯·史密斯 可信的机械化JavaScript规范。 87-100 2014 POPL公司 https://doi.org/10.1145/2535838.2535876 https://doi.org/10.1145/2578855.2535876 conf/popl/2014年 db/conf/popl/popl2014.html#BodinCFGMNSS14