×

KJS公司

swMATH ID: 18992
软件作者： 大君公园，AndreiŞtefănescu，格里戈尔Roşu
描述： KJS：JavaScript的完整形式语义。本文介绍了KJS，这是迄今为止最完整、测试最彻底的JavaScript形式语义。KJS是可执行的，已经过ECMAScript 5.1一致性测试套件的测试，并通过了所有2782个核心语言测试。在现有的JavaScript实现中，只有Chrome V8通过了所有测试，没有其他语义通过超过90
主页： http://dl.acm.org/citation.cfm？id=2737991
相关软件： K-Java公司;莫德;Coq公司;JavaScript脚本;K校准仪;github;蟒蛇;工具链;伊莎贝尔;克托伊莎贝尔;伊莎贝尔/霍尔;兰巴达微积分;存档正式证据;K-Maude公司;有限责任公司;元数学;OCaml公司;布吉;奥特;CVC4型
引用于： 9文件
全部的 前5名

20位作者引用

5 格里高·罗什乌
2 瑟·特凡·乔巴赫
2 多雷尔·卢卡努
1 大卫·安科纳
1 米歇尔·布格列西
1 斯特凡诺·卡尔扎瓦拉
1 乔治·德尔扎诺
1 里卡多·福卡迪
1 卢卡·弗朗西斯科尼
1 埃尔萨·甘特。
1 毛里齐奥·利奥塔
1 李丽怡
1 林正耀
1 布兰登·摩尔（Brandon M.Moore）。
1 卢卡斯·佩尼亚
1 恩里科·普拉姆波利尼
1 玛丽娜·里巴多
1 菲利波·里卡
1 弗拉德·鲁苏
1 Minh-Thai Trinh

2篇连载文章中引用

1 计算的形式方面
1 程序设计中的逻辑和代数方法杂志

在3个字段中引用

9 计算机科学（68至XX）
三 数学逻辑和基础（03-XX）
1 一般代数系统（08-XX）

按年份列出的引文