Realizability in Semantics-Guided Synthesis Done Eagerly.

Roland Meyer Jakob Tepe Sebastian Wolff

Published in: CoRR (2024)

Keyphrases

formal semantics
logic programming
transformation rules
semantic information
program synthesis
data sets
artificial intelligence
knowledge base
search algorithm
control system