SU Zhuo
School of Software, Tsinghua University, Beijing 100084, China;Key Laboratory for Information System Security, Ministry of Education (Tsinghua University), Beijing 100084, ChinaWANG Dong-Yan
School of Electronics Engineering and Computer Science, Peking University, Beijing 100871, ChinaYANG Yi-Xiao
School of Software, Tsinghua University, Beijing 100084, China;Key Laboratory for Information System Security, Ministry of Education (Tsinghua University), Beijing 100084, ChinaZHANG Ming-Rui
School of Software, Tsinghua University, Beijing 100084, China;Key Laboratory for Information System Security, Ministry of Education (Tsinghua University), Beijing 100084, ChinaJIANG Yu
School of Software, Tsinghua University, Beijing 100084, China;Key Laboratory for Information System Security, Ministry of Education (Tsinghua University), Beijing 100084, ChinaSUN Jia-Guang
School of Software, Tsinghua University, Beijing 100084, China;Key Laboratory for Information System Security, Ministry of Education (Tsinghua University), Beijing 100084, ChinaNational Natural Science Foundation of China (62022046, U1911401, 61802223); National Key Research and Development Project (2019YFB1706200); Huawei-Tsinghua Trustworthy Research Project (20192000794)
苏卓,王东艳,杨镒箫,张明睿,姜宇,孙家广.基于分支标记的数据流模型的代码生成方法.软件学报,2021,32(6):1647-1662
Copy