Dengping Zhu

Publication Activity (10 Years)

Years Active: 2003-2018
Publications (10 Years): 1

Top Topics

Theorem Proving

Top Venues

Publications

Hongwei Xi, Dengping Zhu
To Memory Safety through Proofs. CoRR (2018)
Rui Shi, Dengping Zhu, Hongwei Xi
A Modality for Safe Resource Sharing and Code Reentrancy. ICTAC (2010)
Dengping Zhu, Hongwei Xi
Safe Programming with Pointers Through Stateful Views. PADL (2005)
Chiyan Chen, Dengping Zhu, Hongwei Xi
Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell. PADL (2004)
Dengping Zhu, Hongwei Xi
A Typeful and Tagless Representation for XML Documents. APLAS (2003)