位置：成果数据库 > 期刊 > 期刊详情页
Weak updates and separation logic
  • 时间：0
  • 相关项目：基于有色网的事务型并发编程模型及其验证技术
同期刊论文项目
基于有色网的事务型并发编程模型及其验证技术
期刊论文 14 会议论文 8 著作 1
同项目期刊论文
A Verifiable Low-level Concurrent Programming Model Based on Colored Petri Nets
面向多核处理器的低级并行程序验证
针对嵌入架构的Open64 编译器重定向
一种用于字节码程序模块化验证的逻辑系统
字节码虚拟机的构造和验证
原型系统（一个基于PNTM的用户级事务型并发编程工具）
同步数据流程序的可信排序
同步数据流语言可信编译器的构造
一种基于Renew的有色网元对象协议的设计与实现
可信编译器L2C的核心翻译步骤及其设计与实现