IPSynth: Interprocedural Program Synthesis for Software Security Implementation.

Ali Shokri Ibrahim Jameel Mujhid Mehdi Mirakhorli

Published in: CoRR (2024)

Keyphrases

program synthesis
knowledge base
recursive programs
database
data mining
high level
database management systems
inductive logic programming