马丁·博丹;亚瑟·查格罗;丹尼尔·菲拉雷蒂;菲利普·加德纳;塞尔吉奥·马菲斯;Daiva Naudziuniene公司;阿兰·施密特;加雷思·史密斯 可信的机械化JavaSript规范。 (英语) 兹比尔1284.68381 第41届ACM SIGPLAN-SIGCT编程语言原理研讨会论文集,POPL’14,美国加利福尼亚州圣地亚哥,2014年1月22日至24日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-2544-8)。87-100 (2014). 引用于三文件 MSC公司: 60年第68季度 规范和验证(程序逻辑、模型检查等) 68号30 软件工程的数学方面(规范、验证、度量、需求等) 68吨15 定理证明(演绎、解析等)(MSC2010) 68甲15 编程语言理论 关键词:Coq公司;JavaScript脚本;机械化语义 软件:JavaScript脚本;CompCert公司;A安全;爪哇风扇;Coq公司;OCaml公司;伊莎贝尔/HOL;奥特 PDF格式BibTeX公司 XML格式引用 \textit{M.Bodin}等人,《第41届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集》,POPL’14,美国加利福尼亚州圣地亚哥,2014年1月22日至24日。纽约州纽约市:计算机协会(ACM)。87-100(2014年;Zbl 1284.68381) 全文: 内政部