Semantics-guided synthesis.

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

Published in: Proc. ACM Program. Lang. (2021)

Keyphrases

formal semantics
database systems
logic programming
program synthesis
database
real time
data mining
similarity measure
expert systems
domain knowledge
programming language
semantic relationships
semantic representation
owl ontologies
functional programs