2 papers
cs.PL2025
C*: Unifying Programming and Verification in C
Yiyuan Cao, Jiayi Zhuang, Houjin Chen +8
Ensuring the correct functionality of systems software, given its safety-critical and low-level nature, is a primary focus in formal verification research and applications. Despite…
cs.SE2021
A Topic Guided Pointer-Generator Model for Generating Natural Language Code Summaries
Xin Wang, Xin Peng, Jun Sun +3
Code summarization is the task of generating natural language description of source code, which is important for program understanding and maintenance. Existing approaches treat th…