Author:
Xiong Shale,Pinto Pedro da Rocha,Ntzik Gian,Gardner Philippa
Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. Amighi, A., Blom, S., Huisman, M., Mostowski, W., Zaharieva-Stojanovski, M.: Formal specifications for java’s synchronisation classes. In: Proceedings of PDP 2014, pp. 725–733 (2014)
2. Lecture Notes in Computer Science;S Blom,2015
3. Bornat, R., Calcagno, C., O’Hearn, P., Parkinson, M.: Permission accounting in separation logic. In: Proceedings of POPL 2005, pp. 259–270 (2005)
4. da Rocha Pinto, P.: Reasoning with time and data abstractions. Ph.D. thesis, Imperial College London (2017)
5. da Rocha Pinto, P., Dinsdale-Young, T., Dodds, M., Gardner, P., Wheelhouse, M.J.: A simple abstraction for complex concurrent indexes. In: Proceedings of OOPSLA 2011, pp. 845–864 (2011)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Compositional Verification of Concurrent C Programs with Search Structure Templates;Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs;2024-01-09
2. Verifying concurrent search structure templates;Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation;2020-06-06
3. Go with the flow: compositional abstractions for concurrent data structures;Proceedings of the ACM on Programming Languages;2018-01