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