A type and effect system for atomicity 论文

2003ACM SIGPLAN Notices引用 304
DOI
Logic, programming, and type systemsParallel Computing and Optimization TechniquesSecurity and Verification in Computing
网络安全Parallel Computing and Optimization TechniquesSecurity and Verification in ComputingLogic, programming, and type systems
相关技术:Parallel Computing and Optimization Techniques
关系图谱

A type and effect system for atomicity · 相关事件

暂无数据