10 citations · 17 across the 4 of their papers we have counts for
4 papers
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…
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…
Symbolic Reasoning about Quantum Circuits in Coq
Wenjun Shi, Qinxiang Cao, Yuxin Deng +2
A quantum circuit is a computational unit that transforms an input quantum state to an output one. A natural way to reason about its behavior is to compute explicitly the unitary m…
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…