Sarat Chandra Varanasi

Imperative Program Synthesis from Answer Set Programs

2019 · arXiv (Cornell University)

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 …