[ACM Press the ACM SIGPLAN 2003 conference - San Diego, California, USA (2003.06.09-2003.06.11)] Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation - PLDI '03 - A type and effect system for atomicity
Flanagan, Cormac; Qadeer, Shaz
- 作者Flanagan, Cormac; Qadeer, Shaz
- 文件大小260.27KB
- 发表时间2003
- DOI10.1145/781131.781169