Semantics-Guided Synthesis.

Jinwoo Kim Qinheping Hu Loris D'Antoni Thomas W. Reps

Published in: CoRR (2020)

Keyphrases

formal semantics
program synthesis
databases
logic programming
functional programs
real time
genetic algorithm
knowledge base
domain knowledge