近日,软件研究所谢冰教授课题组题为“Summary-based context-sensitive data-dependence analysis in presence of callbacks”的学术论文被第42届程序语言原理会议(ACM SIGPLAN-SIGACT Symposium on Principles of...
2014-11-04