Synthesizing Imperative Code from Answer Set Programming Specifications.

Sarat Chandra Varanasi, Elmer Salazar, Neeraj Mittal, Gopal Gupta

Browse the full LOPSTR paper archive.