Author:
Haack Christian,Huisman Marieke,Hurlin Clément
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Lecture Notes in Computer Science;E. Ábrahám,2003
2. Andrews, G.: Concurrent Programming: Principles and Practice. Benjamin/Cummings (1991)
3. Barnett, M., DeLine, R., Fähndrich, M., Leino, K.R.M., Schulte, W.: Verification of object-oriented programs with invariants. Journal of Object Technology 3(6) (2004)
4. Bornat, R., O’Hearn, P.W., Calcagno, C., Parkinson, M.: Permission accounting in separation logic. In: Principles of Programming Languages. ACM Press, New York (2005)
5. Boyapati, C., Lee, R., Rinard, M.: Ownership types for safe programming: Preventing data races and deadlocks. In: ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (2002)
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Protecting Locks Against Unbalanced Unlock();Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures;2023-06-17
2. Correct program parallelisations;International Journal on Software Tools for Technology Transfer;2021-02-14
3. From Explicit to Implicit Dynamic Frames in Concurrent Reasoning for Java;Lecture Notes in Computer Science;2020
4. The Design and Formalization of Mezzo, a Permission-Based Programming Language;ACM Transactions on Programming Languages and Systems;2016-10-13
5. Concurrent separation logic;ACM SIGLOG News;2016-08-08