Author:
Weide Alan,Sivilotti Paolo A. G.,Sitaraman Murali
Publisher
Springer International Publishing
Reference9 articles.
1. Bagherzadeh, M., Rajan, H.: Panini: a concurrent programming model for solving pervasive and oblivious interference. In: Proceedings of the 14th International Conference on Modularity, MODULARITY 2015, pp. 93–108. ACM, New York (2015)
2. Harms, D.E., Weide, B.W.: Copying and swapping: influences on the design of reusable software components. IEEE Trans. Softw. Eng. 17, 424–435 (1991)
3. Herlihy, M., Shavit, N.: The Art of Multiprocessor Programming. Morgan Kaufmann Publishers Inc., San Francisco (2008)
4. Kulczycki, G.W.: Direct reasoning. Ph.D. thesis, Clemson University, Clemson, SC, USA (2004). AAI3125470
5. Lecture Notes in Computer Science;KRM Leino,2009
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献