Decidable Synthesis of Programs with Uninterpreted Functions.

Paul Krogmeier Umang Mathur Adithya Murali P. Madhusudan Mahesh Viswanathan

Published in: CoRR (2019)

Keyphrases

functional programs
functional language
logic programs
automatic programming
neural network
basis functions
model checking
function symbols