Author:
Parkinson Matthew,Bierman Gavin
Publisher
Springer Berlin Heidelberg
Reference32 articles.
1. Ishtiaq, S., O’Hearn, P.W.: BI as an assertion language for mutable data structures. In: Proceedings of POPL, pp. 14–26 (2001)
2. Parkinson, M.J., Bierman, G.M.: Separation logic and abstraction. In: Proceedings of POPL, pp. 247–258 (2005)
3. Parkinson, M.J.: Local Reasoning for Java. PhD thesis, Computer Laboratory, University of Cambridge, UCAM-CL-TR-654 (2005)
4. Parkinson, M.J., Bierman, G.M.: Separation logic, abstraction and inheritance. In: Proceedings of POPL, pp. 75–86 (2008)
5. Clarke, D.G., Potter, J.M., Noble, J.: Ownership types for flexible alias protection. In: Proceedings of OOPSLA, pp. 48–64 (1998)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献