We present a language to specify syntax guided synthesis (SyGuS) problems. Syntax guidance is a prominent theme in contemporary program synthesis approaches, and SyGuS was first described in [1]. This paper describes concretely the input format of a SyGuS solver. [1] Rajeev Alur, Rastislav Bodik, Garvit Juniwal, Milo M. K. Martin, Mukund Raghothaman, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, and Abhishek Udupa. Syntax-guided synthesis. In FMCAD, pages 1--17, 2013.
翻译：语法指导是当代方案综合方法的一个突出主题,SyGuS首次在[1]中作了描述。本文具体描述了SyGuS解决者[1] Rajeev Aur、Rastislav Bodik、Garvit Juniwal、Milo M. K. Martin、Mukund Raghoothaman、Sanjit A. Seshia、Rishabh Singh、Armando Solar-Lezama、Emina Torlak和Abhishek Udupa的语法综合材料格式。在FMCAD第1-17页,2013年。
相关内容
FMCAD为学术界和工业界的研究人员提供了一个领先的论坛，以展示和讨论关于计算系统的开创性的方法、技术、理论结果和正式推理工具。FMCAD涵盖了计算机辅助系统设计的形式化方面，包括验证、规范、综合和测试。官网链接：http://www.cs.utexas.edu/users/hunt/FMCAD/
Arxiv
5+阅读 · 2019年8月27日
相关VIP内容
相关资讯
相关论文
Arxiv
5+阅读 · 2019年8月27日
微信扫码咨询专知VIP会员