咨询与建议

限定检索结果

文献类型

  • 1 篇 期刊文献

馆藏范围

  • 1 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1 篇 工学
    • 1 篇 计算机科学与技术...
    • 1 篇 软件工程

主题

  • 1 篇 datalog
  • 1 篇 程序分析
  • 1 篇 大语言模型
  • 1 篇 代码翻译
  • 1 篇 增量分析框架

机构

  • 1 篇 南京大学
  • 1 篇 计算机软件新技术...

作者

  • 1 篇 王熙灶
  • 1 篇 宾向荣
  • 1 篇 沈天琪
  • 1 篇 卜磊

语言

  • 1 篇 中文
检索条件"主题词=增量分析框架"
1 条 记 录,以下是1-10 订阅
排序:
LLM赋能的Datalog代码翻译技术及增量程序分析框架
收藏 引用
软件学报 2025年 第6期36卷 2515-2534页
作者: 王熙灶 沈天琪 宾向荣 卜磊 计算机软件新技术全国重点实验室(南京大学) 南京大学计算机学院 南京大学软件学院
Datalog是一种声明式逻辑编程语言,在不同领域得到了广泛应用.近年来,学术界和工业界对Datalog的兴趣高涨,设计并开发了多种Datalog引擎和相应方言.然而,多方言带来的一个问题是以一种Datalog方言实现的代码,一般而言不能在另一种方言... 详细信息
来源: 评论