基于应答集程序的命令式程序合成
Imperative Program Synthesis from Answer Set Programs
摘要：
我们的研究关注的是从答案集编程规范生成命令式程序。ASP是高度声明性的，是编写规范的理想选择。此外，利用否定即失败，很容易简洁地表示组合搜索问题。我们目前正致力于从ASP程序中合成命令式程序，将否定转换为有用的计算。这开辟了一种新的方式来合成程序的可执行规范。
英文摘要：
Our research concerns generating imperative programs from Answer Set Programming Specifications. ASP is highly declarative and is ideal for writing specifications. Further with negation-as-failure it is easy to succinctly represent combinatorial search problems. We are currently working on synthesizing imperative programs from ASP programs by turning the negation into useful computations. This opens up a novel way to synthesize programs from executable specifications.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
