ACM-SIGPLAN部分评估和程序操作研讨会(PEPM)的历史可以追溯到1991年,自2006年以来每年都与POPL合作举办,其起源是发现了实用的自动化技术,用于仅使用部分输入评估程序。多年来,PEPM的范围已经扩大到包括以基于语义的程序操作为主题的各种研究领域——系统地开发不仅将程序视为黑盒执行的对象,而且还将程序视为可以生成、分析的数据结构,在建立或维护重要语义属性的同时进行转换。 官网链接:https://popl20.sigplan.org/track/pepm-2020-papers
暂无数据
微信扫码咨询专知VIP会员