LambdaJS:JavaScript的语义和工具

【文件属性】：
文件名称：LambdaJS:JavaScript的语义和工具
文件大小：1.19MB
文件格式：ZIP
更新时间：2021-05-12 22:40:58
JavaScript LambdaJS LambdaJS是JavaScript的小型经过测试的简化语义。 有关快速介绍，请参见我们的博客文章： 有关更多技术介绍，请参见我们关于LambdaJS的ECOOP 2010论文： coq /在Coq中包含我们的机械化语义。 已通过Coq 8.3和8.4 beta测试。 Redex /在PLT Redex中包含我们的机械化语义。 在球拍5.2上进行了测试。 haskell /包含一个deugaring的实现。 用GHC 7.0.4测试。 该软件使用Hackage上可用的软件包。 DisableXHR /包含我们的安全子集示例的实现。 经GHC 6.10.4测试。 此工具要求先构建和安装LambdaJS Haskell软件包。 ECMAScript 5的语义 LambdaJS大致建模ECMAScript3。JavaScript的最新版本ECMAScript 5相