Qinxiang Cao
- Proof Pearl: Magic Wand as Frame
2019/09/19 by Qinxiang Cao, Cao, Qinxiang, Shengyi Wang +5 · 1 citation
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Programming Languages (cs.PL) #Security and Verification in Computing
- Multi-View Graph Representation for Programming Language Processing: An Investigation into Algorithm Detection
2022/02/25 by Ting Long, Yutong Xie, Long, Ting +9 · 1 citation
Computer Science · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Online Learning and Analytics #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Software Engineering Research #Software Testing and Debugging Techniques