Decidable Synthesis of Programs with Uninterpreted Functions.

Paul Krogmeier Umang Mathur Adithya Murali P. Madhusudan Mahesh Viswanathan

Published in: CAV (2) (2020)

Keyphrases

functional programs
functional language
artificial intelligence
program synthesis
automatic programming
fixpoint
logic programs
optimal solution
information retrieval
search algorithm
np complete
satisfiability problem
transitive closure
high level
case study
functional programming
information systems