搜索结果: 1-1 共查到“知识要闻 计算机科学技术 PLDI”相关记录1条 . 查询时间(0.054 秒)
![](http://www.firstlight.cn/upload/imgfile/20197/29/2019729114942335.jpg)
2019年6月22日至26日,第40届程序设计语言设计与实现会议(ACM SIGPLAN Conference on Programming Language Design and Implementation,PLDI 2019)在美国凤凰城举行,南京大学计算机科学与技术系程序设计语言研究组冯新宇教授、梁红瑾副教授及其团队的论文“Towards Certified Separate Compil...