LLM-powered Datalog Code Translation and Incremental Program Analysis Framework.
Saved in:
| Title: | LLM-powered Datalog Code Translation and Incremental Program Analysis Framework. |
|---|---|
| Authors: | Xizao Wang1,2, Tianqi Shen1,2, Xiangrong Bin1,2, Lei Bu1,3, bulei@nju.edu.cn |
| Source: | International Journal of Software & Informatics; 2025, Vol. 15 Issue 2, p251-276, 26p |
| Database: | Applied Science & Technology Source |
Be the first to leave a comment!
