Reports for Author "Jia, Limin" | Computer Science Department at Princeton University

TR-826-08 - Language Support for Processing Ad Hoc Data (2008)
Authors: Zhu, Kenny Q. / Dantas, Daniel S. / Fisher, Kathleen / Jia, Limin / Mandelbaum, Yitzhak / Pai, Vivek / Walker, David
TR-762-06 - Linear Logic, Heap-shape Patterns and Imperative Programming (2006)
Authors: Jia, Limin / Walker, David
TR-738-05 - A Foundation for Automated Reasoning About Pointer Programs (2005)
Authors: Jia, Limin / Walker, David
TR-724-05 - Certifying Compilation for a Language with Stack Allocation (2005)
Authors: Jia, Limin / Spalding, Frances / Walker, David / Glew, Neal
TR-671-03 - Modal Proofs As Distributed Programs (2003)
Authors: Jia, Limin / Walker, David