Subject
General Computer Science,Theoretical Computer Science
Reference44 articles.
1. Concurrent Programming: Principles and Practice;Andrews,1991
2. L. Birkedal, N. Torp-Smith, J.C. Reynolds, Local reasoning about a copying garbage collector, in: Proc. POPL Conference, Venice, January 2004, pp. 220–231
3. R. Bornat, C. Calcagno, P.W. O’Hearn, M. Parkinson, Permission accounting in separation logic, in: Proc. POPL 2005, pp. 59–70
4. R. Bornat, C. Calcagno, P.W. O’Hearn, Local reasoning, separation, and aliasing, in: Proc. 2nd ACM/SIGPLAN Workshop on Semantics, Program Analysis, and Computing Environments for Memory Management, SPACE 2004, January 2004
5. C. Boyapati, R. Lee, M. Rinard, Ownership types for safe programming: Preventing data races and deadlocks, in: Proc. OOPSLA 2002, 2002, pp. 211–230
Cited by
129 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献