搜索结果: 1-2 共查到“计算机科学技术 并发程序验证”相关记录2条 . 查询时间(0.231 秒)
中国科学技术大学在并发程序验证研究中取得进展
中国科学技术大学 并发程序 编程语言原理 POPL
2016/1/29
2016年1月20日至23日,第43届编程语言原理国际会议(简称POPL)在美国佛罗里达州圣彼德斯堡召开。中国科学技术大学特任副研究员梁红瑾和教授冯新宇在并发程序验证领域取得新进展,首次设计出一种验证并发对象无饥饿性与无死锁性的程序逻辑,该研究成果发表在第43届POPL上。POPL是讨论编程语言和编程系统最新突破的主要论坛,内容涵盖编程语言的理论、编程语言的设计、编译器技术、程序分析、程序验证、可...