Publisher
Springer International Publishing
Reference20 articles.
1. Abadi, M., Flanagan, C., Freund, S.N.: Types for safe locking: static race detection for java. ACM Trans. Program. Lang. Syst. 28, 207–255 (2006)
2. Atkey, R., Sannella, D.: Threadsafe: static analysis for java concurrency. In: Electronic Communications of the ECEASST, vol. 72 (2015)
3. Lecture Notes in Computer Science;S Bensalem,2006
4. Boyapati, C., Lee, R., Rinard, M.: Ownership types for safe program: preventing data races and deadlocks. In: OOPSLA, pp. 211–230. ACM (2002)
5. Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order. Cambridge University Press, Cambridge (2002)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A lightweight deadlock analysis for programs with threads and reentrant locks;Science of Computer Programming;2019-07
2. Deadlock Analysis of Wait-Notify Coordination;The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy;2019