Login / Signup
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