Dengping Zhu

According to our database, Dengping Zhu authored at least 5 papers between 2003 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2018

To Memory Safety through Proofs.

Hongwei Xi, Dengping Zhu

CoRR, 2018

2010

A Modality for Safe Resource Sharing and Code Reentrancy.

Rui Shi, Dengping Zhu, Hongwei Xi

Proceedings of the Theoretical Aspects of Computing, 2010

2005

Safe Programming with Pointers Through Stateful Views.

Dengping Zhu, Hongwei Xi

Proceedings of the Practical Aspects of Declarative Languages, 7th International Symposium, 2005

2004

Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell.

Chiyan Chen, Dengping Zhu, Hongwei Xi

Proceedings of the Practical Aspects of Declarative Languages, 6th International Symposium, 2004

2003

A Typeful and Tagless Representation for XML Documents.

Dengping Zhu, Hongwei Xi

Proceedings of the Programming Languages and Systems, First Asian Symposium, 2003