arXiv Open Access 2019

Towards meta-interpretive learning of programming language semantics

Sándor Bartha James Cheney

Lihat Sumber

Abstrak

We introduce a new application for inductive logic programming: learning the semantics of programming languages from example evaluations. In this short paper, we explored a simplified task in this domain using the Metagol meta-interpretive learning system. We highlighted the challenging aspects of this scenario, including abstracting over function symbols, nonterminating examples, and learning non-observed predicates, and proposed extensions to Metagol helpful for overcoming these challenges, which may prove useful in other domains.

Topik & Kata Kunci

cs.PL cs.LG cs.LO

Penulis (2)

Sándor Bartha

James Cheney

Format Sitasi

APA MLA BibTeX

Bartha, S., Cheney, J. (2019). Towards meta-interpretive learning of programming language semantics. https://arxiv.org/abs/1907.08834

Akses Cepat

Lihat di Sumber

Informasi Jurnal

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