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