Login / Signup
What's Decidable about Syntax-Guided Synthesis?
Benjamin Caulfield
Markus N. Rabe
Sanjit A. Seshia
Stavros Tripakis
Published in:
CoRR (2015)
Keyphrases
</>
first order logic
program synthesis
information retrieval
real time
information systems
case study
natural language
transitive closure
datalog programs