×

KJS公司

swMATH标识: 18992
软件作者: Daejun公园,AndreiŞtefănescu,Grigore Roşu
说明: KJS:JavaScript的完整形式语义。本文介绍了KJS,它是迄今为止JavaScript中最完整和经过充分测试的形式语义。作为可执行文件,KJS已经针对ECMAScript 5.1一致性测试套件进行了测试,并通过了所有2782个核心语言测试。在现有的JavaScript实现中,只有chromev8通过了所有测试,其他语义都没有超过90个
主页: http://dl.acm.org/citation.cfm?id=2737991
相关软件: K-Java公司;莫德;可口可乐;JavaScript;K检验器;github;蟒蛇;工具链;伊莎贝尔;兰姆达姆演算;归档正式证据;克莫德;LLVM公司;元数学;布吉;OCaml公司;Ott公司;CVC4;利勃夫;节点.js
引用于: 8种出版物

按年份列出的引文