没有合适的资源?快使用搜索试试~ 我知道了~
LambdaJS:JavaScript的语义和工具
共322个文件
js:234个
list:16个
hs:14个
需积分: 5 0 下载量 171 浏览量
2021-05-12
22:40:58
上传
评论
收藏 1.19MB ZIP 举报
温馨提示
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相
资源推荐
资源详情
资源评论
收起资源包目录
LambdaJS:JavaScript的语义和工具 (322个子文件)
10.1.3-1 5KB
AUTHORS 191B
LambdaJS.cabal 1KB
configure 112B
es3.env 4KB
.gitignore 68B
ECMAEnvironment.hs 46KB
Desugar.hs 23KB
PrettyPrint.hs 5KB
Parser.hs 5KB
DesugarWith.hs 5KB
AssignableVars.hs 4KB
Syntax.hs 3KB
LambdaJS.hs 3KB
RemoveHOAS.hs 2KB
Lexer.hs 2KB
Prelude.hs 2KB
LiftFuncStmts.hs 1KB
Setup.hs 1KB
LocalVars.hs 1KB
unsafe-lookup.html 319B
this.html 276B
globals.html 197B
rhino-1_5R5.jar 605KB
regress-74474-003.js 99KB
regress-74474-002.js 99KB
regress-324650.js 97KB
regress-302439.js 84KB
regress-209067.js 78KB
perlstress-001.js 75KB
perlstress-002.js 37KB
shell.js 21KB
shell.js 15KB
15.10.6.2-2.js 11KB
15.5.4.11.js 10KB
regress-85721.js 10KB
15.9.4.3.js 8KB
regress-83293.js 8KB
uc-005.js 8KB
shell.js 7KB
regress-100199.js 7KB
regress-223273.js 7KB
octal-002.js 7KB
regress-58274.js 6KB
regress-67773.js 6KB
scope-002.js 6KB
regress-224676.js 6KB
scope-001.js 6KB
regress-130451.js 6KB
regress-188206.js 5KB
15.9.5.4.js 5KB
regress-191479.js 5KB
regress-121744.js 5KB
regress-209919.js 5KB
15.10.2-1.js 5KB
15.11.4.4-1.js 5KB
15.3.4.3-1.js 5KB
regress-57572.js 5KB
regress-181914.js 5KB
regress-105972.js 5KB
15.7.4.7-1.js 5KB
15.10.4.1-4.js 5KB
15.10.6.2-1.js 5KB
15.9.5.6.js 5KB
15.7.4.6-1.js 5KB
regress-57631.js 5KB
regress-225289.js 5KB
15.10.4.1-3.js 5KB
15.9.5.3.js 5KB
11.6.1-1.js 5KB
call-001.js 5KB
regress-101488.js 5KB
regress-87231.js 5KB
15.9.5.7.js 5KB
15.10.4.1-2.js 5KB
15.3.4.4-1.js 4KB
15.10.4.1-5-n.js 4KB
15.10.3.1-2.js 4KB
arguments-001.js 4KB
15.9.5.5.js 4KB
15.7.4.5-1.js 4KB
11.9.6-1.js 4KB
regress-181654.js 4KB
regress-131348.js 4KB
15.10.3.1-1.js 4KB
15.10.4.1-1.js 4KB
regress-194364.js 4KB
regress-97921.js 4KB
10.6.1-01.js 4KB
regress-187133.js 4KB
class-001.js 4KB
regress-131964.js 4KB
class-003.js 4KB
regress-189898.js 4KB
regress-94506.js 4KB
regress-85880.js 4KB
15.4.4.4-001.js 4KB
class-004.js 4KB
class-002.js 4KB
octal-001.js 4KB
共 322 条
- 1
- 2
- 3
- 4
资源评论
羊欲穷
- 粉丝: 88
- 资源: 4591
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功