Imperative Program Synthesis from Answer Set Programs

19 Sep 2019  ·  Varanasi Sarat Chandra ·

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. read more

PDF Abstract
No code implementations yet. Submit your code now

Categories


Symbolic Computation Logic in Computer Science

Datasets


  Add Datasets introduced or used in this paper