LLM-powered Datalog Code Translation and Incremental Program Analysis Framework. - Xizao Wang; Tianqi Shen; Xiangrong Bin; Lei Bu (International Journal of Software & Informatics, 2025)