Author:
Jansen Christina,Noll Thomas
Publisher
Springer International Publishing
Reference23 articles.
1. Bornat, R., Calcagno, C., O’Hearn, P., Parkinson, M.: Permission accounting in separation logic. In: POPL 2005, pp. 259–270. ACM (2005)
2. Lecture Notes in Computer Science;J. Boyland,2003
3. Dodds, M., Plump, D.: From hyperedge replacement to separation logic and back. In: Proc. Doctoral Symp. at the Int. Conf. on Graph Transformation, ICGT 2008. Electronic Communications of the EASST, vol. 16 (2009)
4. Lecture Notes in Computer Science;P. Fradet,1996
5. Lecture Notes in Computer Science;A. Gotsman,2006
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献