Program Synthesis: Synthesizing Operators for Integer Manipulation.

Jayasurya Seenuvasan Shalini Sai Prasad N. S. Kumar

Published in: ICCIDS (2020)

Keyphrases

program synthesis
morphological operators

recursive programs
inductive logic programming

search space

co occurrence