Program Synthesis by Type-Guided Abstraction Refinement

We consider the problem of type-directed component based synthesis where, given a set of (typed) components and a query type, the goal is to synthesize a term that inhabits the query. Classical approaches based on proof search in intuitionistic logics do not scale up to the standard libraries of mod...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	arXiv.org 2019-11
Hauptverfasser:	Guo, Zheng, James, Michael, Justo, David, Zhou, Jiaxiao, Wang, Ziteng, Jhala, Ranjit, Polikarpova, Nadia
Format:	Artikel
Sprache:	eng
Schlagworte:	Algorithms Computer Science - Programming Languages Languages Libraries Queries Synthesis
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!