Login / Signup
Zhongye Wang
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 2
Top Topics
Proof Theoretic
Bug Reports
Logical Rules
Declarative Semantics
Top Venues
SETTA
CoRR
</>
Publications
</>
Zhongye Wang
,
Qinxiang Cao
,
Yichen Tao
Verifying Programs with Logic and Extended Proof Rules: Deep Embedding v.s. Shallow Embedding.
CoRR
(2023)
Qinxiang Cao
,
Zhongye Wang
Reentrancy? Yes. Reentrancy Bug? No.
SETTA
(2020)