会员服务
FMCAD为学术界和工业界的研究人员提供了一个领先的论坛，以展示和讨论关于计算系统的开创性的方法、技术、理论结果和正式推理工具。FMCAD涵盖了计算机辅助系统设计的形式化方面，包括验证、规范、综合和测试。官网链接：http://www.cs.utexas.edu/users/hunt/FMCAD/
Language to Specify Syntax-Guided Synthesis Problems
Arxiv
0+阅读 · 2016年10月23日
参考链接
父主题
ACM
计算机科学理论
微信扫码咨询专知VIP会员
Top