用于指定语法引导综合问题的语言
编程语言
2016-10-25 v2
摘要
我们提出了一种用于指定语法引导综合（SyGuS）问题的语言。语法引导是当代程序综合方法中的一个突出主题，SyGuS 首次在文献 [1] 中被描述。本文具体描述了 SyGuS 求解器的输入格式。[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.
引用
@article{arxiv.1405.5590,
title = {Language to Specify Syntax-Guided Synthesis Problems},
author = {Mukund Raghothaman and Abhishek Udupa},
journal= {arXiv preprint arXiv:1405.5590},
year = {2016}
}
备注
Fixed small typo in the SyGuS grammar specification pointed out by Sergey Mechtaev