Canyam
AI summaries for academic research
Home
Preprint
Subscribe
Favorites
Tools
Analysis
Summary
Not logged in
Back
C
Cao, Qinxiang
shanghai jiao tong university
0
H-index
2
Paper Count
0
Citation Count
0
Related Insights
Subscribe
Published Papers
1
Publication Date
Publication Date
Impact Factor
Citations
Denotation-based Compositional Compiler Verification
ACM Transactions on Programming Languages and Systems
IF
1.6
2026-03-01
0
PRE
AI
Cheng, Zhang; Wu, Jiyang; Wang, Di; Cao, Qinxiang
Share
Save
Research Directions
No research directions
Co-authors
Cooperation Journals
W
Wang, Di
H-index: 0 · Papers: 31
W
Wu, Jiyang
H-index: 0 · Papers: 1
C
Cheng, Zhang
H-index: 0 · Papers: 1
All loaded
.png){kind=icon}
.png){kind=icon}
Not logged in.png){kind=icon}
Not logged in.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}