arXiv Open Access 2019

Imperative Program Synthesis from Answer Set Programs

Sarat Chandra Varanasi

Lihat Sumber

Abstrak

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.

Topik & Kata Kunci

cs.SC cs.LO

Penulis (1)

Sarat Chandra Varanasi

Format Sitasi

APA MLA BibTeX

Varanasi, S.C. (2019). Imperative Program Synthesis from Answer Set Programs. https://arxiv.org/abs/1909.09058

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2019
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓