Author:
De Arnab,D’Souza Deepak,Nasre Rupesh
Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. Andersen, L.O.: Program Analysis and Specialization for the C Programming Language. Ph.D. thesis, DIKU, University of Copenhagen (1994)
2. Boehm, H.J., Adve, S.V.: Foundations of the C++ Concurrency Memory Model. In: Proceedings of the 2008 ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 68–78. ACM, New York (2008)
3. Chugh, R., Voung, J.W., Jhala, R., Lerner, S.: Dataflow Analysis for Concurrent Programs Using Datarace Detection. In: Proceedings of the 2008 ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 316–326. ACM, New York (2008)
4. Cousot, P., Cousot, R.: Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In: Proceedings of the 4th ACM SIGACT-SIGPLAN Symposium on Principles of programming languages, pp. 238–252. ACM, New York (1977)
5. De, A., D’Souza, D., Nasre, R.: Dataflow Analysis for Datarace-Free Programs. Tech. Rep. IISc-CSA-TR-2010-8, Computer Science and Automation, Indian Institute of Science, India (December 2010), http://aditya.csa.iisc.ernet.in/TR/2010/8/
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献