1 citations · 1 across the 2 of their papers we have counts for
3 papers
cs.LG2022
Multi-View Graph Representation for Programming Language Processing: An Investigation into Algorithm Detection
Ting Long, Yutong Xie, Xianyu Chen +3
Program representation, which aims at converting program source code into vectors with automatically extracted features, is a fundamental problem in programming language processing…
cs.LO2021★ 1 cited
Countability of Inductive Types Formalized in the Object-Logic Level
Qinxiang Cao, Xiwei Wu
The set of integer number lists with finite length, and the set of binary trees with integer labels are both countably infinite. Many inductively defined types also have countably…
cs.PL2019
Proof Pearl: Magic Wand as Frame
Qinxiang Cao, Shengyi Wang, Aquinas Hobor +1
Separation logic adds two connectives to assertion languages: separating conjunction * ("star") and its adjoint, separating implication -* ("magic wand"). Comparatively, separating…