@InCollection{zbMATH06374688，作者={Fournet，Cedric and Swamy，Nikhil and Chen，Juan and Dagand，Pierre-Evariste and Strub，Pierre-Yves and Livshits，Benjamin}，Title={完全抽象编译为{JavaScript}}，BookTitle={第40届ACM SIGPLAN-SIGCT编程语言原理年度研讨会论文集，POPL’13，意大利罗马，2013年1月23日至25日}，国际标准图书编号={978-1-4503-1832-7}，页码={371--384}，年份={2013}，Publisher={纽约，NY:计算机协会（ACM）}，语言={英语}，DOI={10.1145/2429069.2429114}，关键词={68N30,68N20}，zbMATH＝{6374688}，Zbl={1301.68100}}