Author:
Oortwijn Wytse,Blom Stefan,Gurov Dilian,Huisman Marieke,Zaharieva-Stojanovski Marina
Publisher
Springer International Publishing
Reference27 articles.
1. Amighi, A., Haack, C., Huisman, M., Hurlin, C.: Permission-based separation logic for multithreaded Java programs. LMCS 11(1), 1–66 (2015)
2. Lecture Notes in Computer Science;S Blom,2017
3. Lecture Notes in Computer Science;S Blom,2014
4. Lecture Notes in Computer Science;S Blom,2015
5. Bornat, R., Calcagno, C., O’Hearn, P.W., Parkinson, M.J.: Permission accounting in separation logic. In: POPL, pp. 259–270 (2005)
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献