张奕裕(1997-),男,博士生,主要研究领域为系统软件,编译优化;王归航(1997-),男,硕士生,主要研究领域为系统软件,程序语言;左志强(1986-),男,博士,副研究员,CCF专业会员,主要研究领域为系统软件,软件工程,程序语言;李宣东(1963-),男,博士,教授,博士生导师,CCF会士,主要研究领域为软件工程,形式化方法.
左志强,E-mail:zqzuo@nju.edu.cn
TP311
国家自然科学基金(61802168);江苏省自然科学基金(BK20191247)
张奕裕,王归航,左志强,李宣东.基于核外计算的Datalog引擎设计与实现.软件学报,2023,34(8):3587-3604
复制