LLM赋能的Datalog代码翻译技术及增量程序分析框架.pdfVIP

  • 0
  • 0
  • 约6.09万字
  • 约 20页
  • 2026-05-18 发布于江西
  • 举报

LLM赋能的Datalog代码翻译技术及增量程序分析框架.pdf

软件学报ISSN1000-9825,CODENRUXUEWE-mail:jos@

2025,36(6):2515−2534[doi:10.13328/ki.jos.007330][CSTR:32375.14.jos.007330]

©中国科学院软件研究所版权所有.Tel:+86-10

*

LLM赋能的Datalog代码翻译技术及增量程序分析框架

1,21,21,2

您可能关注的文档

文档评论(0)

1亿VIP精品文档

相关文档