Author:
Blom Stefan,Huisman Marieke,Zaharieva-Stojanovski Marina
Publisher
Springer International Publishing
Reference21 articles.
1. Amighi, A., Haack, C., Huisman, M., Hurlin, C.: Permission-based separation logic for multithreaded Java programs (2014). CoRR
abs/1411.0851
2. Lecture Notes in Computer Science;S Blom,2014
3. Blom, S.C.C., Huisman, M., Zaharieva-Stojanovski, M.: History-based verification of functional behaviour of concurrent programs. Technical report 25866, Centre for Telematics and Information Technology, University of Twente (2015)
4. Bornat, R., Calcagno, C., O’Hearn, P., Parkinson, M.: Permission accounting in separation logic. In: POPL, pp. 259–270. ACM (2005)
5. Dinsdale-Young, T., Birkedal, L., Gardner, P., Parkinson, M.J., Yang, H.: Views: compositional reasoning for concurrent programs. In: POPL, pp. 287–300 (2013)
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献