没有合适的资源?快使用搜索试试~ 我知道了~
研究编程语言以实现并发所有权-C/C++开发
共913个文件
txt:373个
h:212个
cc:133个
需积分: 9 0 下载量 149 浏览量
2021-05-26
20:45:18
上传
评论
收藏 903KB ZIP 举报
温馨提示
维罗纳计划(Project Verona)是一种研究编程语言,旨在探讨并发所有权的概念。 我们提供了一种新的并发模型,该模型无缝集成了所有权。 维罗纳项目是一种研究编程语言,旨在探讨并发所有权的概念。 我们提供了一种新的并发模型,该模型无缝集成了所有权。 该研究项目尚处于初期阶段,并且开源以促进学术合作。 我们热衷于参与此项目的研究合作,请伸手进行讨论。 该项目尚未准备好在研究之外使用。 现状该项目尚处于初期阶段,
资源推荐
资源详情
资源评论
收起资源包目录
研究编程语言以实现并发所有权-C/C++开发 (913个子文件)
parser.cc 45KB
builder.cc 33KB
intern.cc 32KB
libsandbox.cc 28KB
generator.cc 28KB
constraint.cc 24KB
library_runner.cc 22KB
infer.cc 22KB
reachability.cc 20KB
vm.cc 20KB
printing.cc 17KB
resolution.cc 17KB
conversion.cc 16KB
lexer.cc 15KB
parser.cc 14KB
cowngc4.cc 12KB
cowngc1.cc 11KB
freeze.cc 11KB
prec.cc 11KB
polarize.cc 9KB
print.cc 9KB
verona-interop.cc 9KB
escaping.cc 8KB
structural.cc 8KB
value.cc 8KB
lit.cc 8KB
pretty.cc 8KB
ubench.cc 7KB
path.cc 7KB
dnf.cc 7KB
main.cc 7KB
elaboration.cc 7KB
print.cc 7KB
solver.cc 7KB
mkdoc.cc 6KB
path.cc 6KB
descriptor.cc 6KB
module.cc 6KB
lookup.cc 6KB
sym.cc 6KB
analysis.cc 6KB
wf_types.cc 5KB
mapper.cc 5KB
ast.cc 5KB
backpressure1.cc 5KB
builtins.cc 5KB
resolve.cc 5KB
capability_predicate.cc 5KB
verona-mlir.cc 5KB
variable_renaming.cc 5KB
driver.cc 5KB
sugar.cc 4KB
diningphil.cc 4KB
rememberedset.cc 4KB
cowngc3.cc 4KB
ext_ref_freeze.cc 4KB
backpressure2.cc 4KB
anf.cc 4KB
permission_check.cc 4KB
sandbox-zlib.cc 4KB
generator.cc 4KB
hashmap.cc 4KB
function.cc 4KB
backpressure3.cc 4KB
finalisers.cc 4KB
ast.cc 3KB
liveness.cc 3KB
codegen.cc 3KB
region_graph.cc 3KB
object.cc 3KB
typecheck.cc 3KB
ast.cc 3KB
cown_weak_ref.cc 3KB
fixpoint.cc 3KB
source.cc 3KB
assertion.cc 2KB
interpreter.cc 2KB
fair_variance.cc 2KB
print.cc 2KB
poller.cc 2KB
ir.cc 2KB
socketpair-sendhandle.cc 2KB
bytecode.cc 2KB
memory.cc 2KB
multimessage.cc 2KB
shm.cc 2KB
runtimepause.cc 2KB
context.cc 1KB
onebitsem-child.cc 1KB
err.cc 1KB
rewrite.cc 1KB
sandbox-callback-recursive.cc 1KB
linkedlist.cc 1KB
cownchain.cc 1KB
fair.cc 1KB
main.cc 1KB
onebitsem-basic.cc 1KB
sandbox-fake-open.cc 1KB
sandbox-callback-basic.cc 1KB
parser.cc 1KB
共 913 条
- 1
- 2
- 3
- 4
- 5
- 6
- 10
资源评论
羊欲穷
- 粉丝: 88
- 资源: 4591
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
最新资源
- ZPM vscode 插件
- 员工注册登录原型集(xmind书写)
- SM2302NSAC-TRG-VB一款SOT23封装N-Channel场效应MOS管
- 用于订阅 google reader 的 rss 的 Chrome 扩展程序
- 电脑端浏览器插件-车牌号自编助手
- 北京邮电大学计网实验-模拟数据链路层的滑动窗口协议源码+文档说明.zip
- Java经典面试 100问,可以给面试党们去背,里面答案都是经过反复查询和推敲的 希望能帮到你们
- [练习题+答案]Harmony OS应用开发者高级认证
- WPS2019专业增强版-v11.8.2.10972-中石油定制版
- SI9959DY-T1-E3-VB一款SOP8封装2个N-Channel场效应MOS管
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功