Author:
Cataño Néstor,Ahmed Ijaz,Siminiceanu Radu I.,Aldrich Jonathan
Funder
Portuguese Research Agency FCT
Reference31 articles.
1. Capabilities for sharing: a generalisation of uniqueness and read-only;Boyland,2001
2. J. Boyland, Checking interference with fractional permissions, in: Proceedings of the 10th International Conference on Static analysis, SAS, 2003, pp. 55–72.
3. C. Boyapati, R. Lee, M. C. Rinard, Ownership types for safe programming: preventing data races and deadlocks, in: Proceedings of International Conference on Object-Oriented Programming, Systems and Applications, OOPSALA, 2002, pp. 211–230.
4. J. Vitek, B. Bokowski, Confined types, in: Proceedings of conference on Object-Oriented Programming Systems and Applications, OOPSALA, 1999, pp. 82–96.
5. The Plural Tool, http://code.google.com/p/pluralism/.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献