没有合适的资源?快使用搜索试试~ 我知道了~
polyconf-2015:Polyconf 2015对话和关系口译员研讨会的资源
共100个文件
scm:81个
rkt:7个
license:4个
需积分: 10 0 下载量 77 浏览量
2021-05-23
13:57:47
上传
评论
收藏 311KB ZIP 举报
温馨提示
polyconf-2015 PolyConf 2015对话和关系口译研讨会的资源 PolyConf 2015: ://polyconf.com/ 讲话 append , appendo ,证明检查器/定理证明者代码: talk-code/scheme-interpreter/poly-scheme.scm WHILE语言的语义学改编自Hanne Riis Nielson和Flemming Nielson的“应用程序的语义学:正式介绍”。 Wiley专业计算,(240页,ISBN 0 471 92980 8),Wiley,1992年。1999年修订版可在线获得: ://www.daimi.au.dk/~bra8130/Wiley_book/wiley.html 符号执行示例摘自Stephen Chong的幻灯片(内容来自Jeff Foster的幻灯片): : WHILE中的
资源推荐
资源详情
资源评论
收起资源包目录
polyconf-2015:Polyconf 2015对话和关系口译员研讨会的资源 (100个子文件)
.DS_Store 8KB
.DS_Store 6KB
.DS_Store 6KB
.gitmodules 128B
LICENSE 1KB
LICENSE 1KB
LICENSE 1KB
LICENSE 1KB
README.md 2KB
README.md 804B
README.md 606B
README.md 606B
mk.rkt 1KB
mk.rkt 1KB
mk.rkt 662B
test-all.rkt 358B
matche.rkt 169B
matche.rkt 169B
matche.rkt 169B
10k-love.scm 2.1MB
trans.scm 275KB
variadic-lambda-tests.scm 96KB
interp-with-match-tests.scm 47KB
variadic-lambda-with-map-tests.scm 41KB
variadic-lambda-with-or-tests.scm 39KB
interp-uber-tests.scm 39KB
interp-no-match-tests.scm 29KB
mk.scm 29KB
mk.scm 29KB
relevant-append.scm 27KB
while-tests.scm 25KB
test-quines.scm 25KB
test-quines.scm 25KB
test-quines.scm 25KB
mk.scm 22KB
match-tests.scm 17KB
trans2.scm 16KB
interp-uber.scm 14KB
interp-with-variadic-lambda-and-or-and-match.scm 14KB
interp-with-variadic-lambda-and-map-and-match.scm 14KB
interp-with-variadic-lambda-and-match.scm 13KB
absento-tests.scm 13KB
absento-tests.scm 13KB
absento-tests.scm 12KB
match-tests.scm 12KB
disequality-tests.scm 7KB
disequality-tests.scm 7KB
disequality-tests.scm 7KB
numbers.scm 7KB
numbers.scm 7KB
numbers.scm 7KB
interp-match.scm 7KB
interp-no-match.scm 7KB
test-numbers.scm 6KB
test-numbers.scm 6KB
test-numbers.scm 6KB
while-abort-tests.scm 5KB
symbolo-tests.scm 5KB
symbolo-tests.scm 5KB
symbolo-tests.scm 5KB
while-abort.scm 5KB
mk-vicare.scm 5KB
mk-vicare.scm 5KB
symbolo-numbero-tests.scm 5KB
symbolo-numbero-tests.scm 5KB
symbolo-numbero-tests.scm 5KB
matche.scm 5KB
matche.scm 5KB
matche.scm 5KB
match-extension.scm 4KB
numbero-tests.scm 4KB
numbero-tests.scm 4KB
numbero-tests.scm 4KB
poly-scheme.scm 3KB
test-interp.scm 3KB
test-interp.scm 3KB
test-interp.scm 3KB
pmatch.scm 3KB
test-infer.scm 2KB
test-infer.scm 2KB
test-infer.scm 2KB
poly-while.scm 2KB
absento-closure-tests.scm 2KB
absento-closure-tests.scm 2KB
absento-closure-tests.scm 2KB
interp.scm 2KB
interpo.scm 1KB
==-tests.scm 918B
==-tests.scm 918B
==-tests.scm 918B
mk-chicken.scm 724B
test-all.scm 664B
test-all.scm 664B
test-all.scm 664B
poly-trans.scm 410B
test-check.scm 391B
test-check.scm 391B
test-check.scm 391B
test-all.scm 344B
mk-guile.scm 251B
共 100 条
- 1
资源评论
小林家的珂女仆
- 粉丝: 28
- 资源: 4656
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功